-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
Database Theory, ICDT 2022, March 29 to April 1, 2022, Edinburgh, UK (Virtual Conference) 220. 2022, 8:1–8:20. DOI 2021 Wouter Gelade and Thomas Schwentick. Automata and finite model theory . In Jean-Éric [...] Merelli (eds.). 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference) 168. 2020, 122:1–122:19. DOI Nils Vortmeier and [...] Schwentick. Reasoning About XML Constraints Based on XML-to-Relational Mappings . Theory Comput. Syst. 62(8):1826–1879, 2018. DOI Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese …