Universal Horn Sentences and the Joint Embedding Property
From MaRDI portal
Publication:5038201
DOI10.46298/dmtcs.7435OpenAlexW3154847826MaRDI QIDQ5038201
André Schrottenloher, Manuel Bodirsky, Jakub Rydval
Publication date: 30 September 2022
Published in: Discrete Mathematics & Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.11123
Cites Work
- Foundations of inductive logic programming
- An algebraic view on p-admissible concrete domains for lightweight description logics
- ASNP: a tame fragment of existential second-order logic
- Complexity of Infinite-Domain Constraint Satisfaction
- Some useful preservation theorems
- A Proof of the CSP Dichotomy Conjecture
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Universal Horn Sentences and the Joint Embedding Property