Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
Prof. Dr. Christoph Berkholz |
Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"!
Aktuelles:
- Die Arbeit "Enumeration for FO Queries over Nowhere Dense Graphs" von Nicole Schweikardt, Luc Segoufin und Alexandre Vigny wurde bei Journal of the ACM akzeptiert.
- Die Arbeit "Query Evaluation over SLP-Represented Document Databases With Complex Document Editing" von Markus Schmid und Nicole Schweikardt wurde für PODS 2022 akzeptiert.
- Die Arbeit "Discovering Event Queries from Traces: Laying Foundations for Subsequence-Queries with Wildcards and Gap-Size Constraints" von Sarah Kleest-Meißner, Rebecca Sattler, Markus Schmid, Nicole Schweikardt und Matthias Weidlich wurde in Proc. ICDT 2022 veröffentlicht.