-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
Amaldev Manuel and Thomas Zeume. Two-Variable Logic on 2-Dimensional Structures . In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy . 2013, 484–499. URL , DOI Christoph [...] Thomas Schwentick, Nils Vortmeier and Thomas Zeume. Sketches of Dynamic Complexity . SIGMOD Rec. 49(2):18–29, 2020. DOI Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier and Thomas [...] Christoph Jung (eds.). 23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark 155. 2020, 13:1–13:19. DOI Jonas Schmidt, Thomas Schwentick, Nils Vortmeier …