Author of the publication

Two Variable Logic with Ultimately Periodic Counting.

, , and . ICALP, volume 168 of LIPIcs, page 112:1-112:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Definability and Interpolation within Decidable Fixpoint Logics., , and . Logical Methods in Computer Science, (2019)Hierarchies of Measure-Theoretic Ultrafilters.. Ann. Pure Appl. Log., 97 (1-3): 203-219 (1999)DTD-Directed Publishing with Attribute Translation Grammars., , , , , and . VLDB, page 838-849. Morgan Kaufmann, (2002)The Impact of Virtual Views on Containment., and . Proc. VLDB Endow., 3 (1): 297-308 (2010)Generating collection transformations from proofs., and . Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)Datalog Rewriting for Guarded TGDs., , , , and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 104-113. CEUR-WS.org, (2022)Stream firewalling of xml constraints., , and . SIGMOD Conference, page 487-498. ACM, (2008)Inference from Visible Information and Background Knowledge., , , , and . ACM Trans. Comput. Log., 22 (2): 13:1-13:69 (2021)Logic and Learning (Dagstuhl Seminar 19361)., , , and . Dagstuhl Reports, 9 (9): 1-22 (2019)Structural properties of XPath fragments., , and . Theor. Comput. Sci., 336 (1): 3-31 (2005)