search result

Cover von 29th International Conference on Database Theory
ICDT 2026, Tampere, Finland, March 24-27, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 365
Media group: LIPIcs
Cover von Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)

Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)

Year: 2024
Media group: LIPIcs
Cover von Conjunctive Queries

Conjunctive Queries

Unique Characterizations and Exact Learnability
Year: 2021
Media group: LIPIcs
Cover von The Homomorphism Lattice, Unique Characterizations, and Concept Learning
article
Search for this author
Year: 2020
Publisher: Aachen, CEUR
Media group: ARTICLE
Cover von Conjunctive Queries
Unique Characterizations and Exact Learnability : article
Search for this author
Year: 2020
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Web Reasoning and Rule Systems
9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9209
Media group: MONOGRAPHIE
Cover von The Product Homomorphism Problem and Applications

The Product Homomorphism Problem and Applications

Year: 2015
Media group: LIPIcs
Cover von Unary negation

Unary negation

Year: 2011
Media group: ARTICLE
Cover von Logic, language, and computation
6th international Tbilisi symposium on logic, language, and computation : Batumi, Georgia, September 12 - 16, 2005 : revised selected papers
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4363
Media group: MONOGRAPHIE
Cover von Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0