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 "A Purely Regular Approach to Non-Regular Core Spanners " von Markus Schmid und Nicole Schweikardt wurde für ICDT 2021 akzeptiert.
- Die Arbeit "Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration" von Nofar Carmeli, Shai Zeevi, Christoph Berkholz, Benny Kimelfeld und Nicole Schweikardt wurde für PODS 2020 akzeptiert.
