-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume. Reachability Is in DynFO . J. ACM 65(5):33:1–33:24, 2018. DOI Henrik Björklund, Wim Martens and Thomas Schwentick. Conjunctive query containment [...] Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK 119. 2018, 1:1–1:5. DOI Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken and Thomas Zeume. I [...] Vianu and Ke Yi. Research Directions for Principles of Data Management (Abridged) . SIGMOD Record 45(4):5–17, 2016. URL , DOI Pablo Muñoz, Nils Vortmeier and Thomas Zeume. Dynamic Graph Queries . In 19th I …