Author of the publication

0-1 Laws for Fragments of Existential Second-Order Logic: A Survey.

, and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 84-98. Springer, (2000)

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

Peer data exchange., , , and . ACM Trans. Database Syst., 31 (4): 1454-1498 (2006)A Tutorial on Finite Model Theory (Abstract). LICS, page 122. IEEE Computer Society, (1993)A Declarative Framework for Linking Entities., , , , and . ICDT, volume 31 of LIPIcs, page 25-43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk).. FSTTCS, volume 13 of LIPIcs, page 25-25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Dependence Logic vs. Constraint Satisfaction., and . CSL, volume 62 of LIPIcs, page 14:1-14:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)On the tractability and intractability of consistent conjunctive query answering., , and . EDBT/ICDT Ph.D. Workshop, page 38-44. ACM, (2011)Efficient Querying of Inconsistent Databases with Binary Integer Programming., , and . Proc. VLDB Endow., 6 (6): 397-408 (2013)Algorithmic Techniques for Necessary and Possible Winners., , , , , and . CoRR, (2020)On preservation under homomorphisms and unions of conjunctive queries., , and . J. ACM, 53 (2): 208-237 (2006)Reflections on Schema Mappings, Data Exchange, and Metadata Management.. PODS, page 107-109. ACM, (2018)