Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Craig Interpolation for Linear Temporal Languages., und . CSL, Volume 5771 von Lecture Notes in Computer Science, Seite 287-301. Springer, (2009)Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings., , , und . CoRR, (2023)On the complexity of query answering over incomplete XML documents., , und . ICDT, Seite 169-181. ACM, (2012)Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting., , , und . Datalog, Volume 3203 von CEUR Workshop Proceedings, Seite 14-26. CEUR-WS.org, (2022)Static Analysis and Query Answering for Incomplete Data Trees with Constraints., , und . In Search of Elegance in the Theory and Practice of Computation, Volume 8000 von Lecture Notes in Computer Science, Seite 273-290. Springer, (2013)Containment of pattern-based queries over data trees., , , und . ICDT, Seite 201-212. ACM, (2013)When is naive evaluation possible?, , und . PODS, Seite 75-86. ACM, (2013)Recursive complexity of the Carnap first order modal logic C., und . Math. Log. Q., 52 (1): 87-94 (2006)Best Answers over Incomplete Data : Complexity and First-Order Rewritings., und . IJCAI, Seite 1704-1710. ijcai.org, (2019)Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus.. Advances in Modal Logic, Seite 140-155. College Publications, (2010)