Universal Horn Sentences and the Joint Embedding Property
From MaRDI portal
Publication:5038201
DOI10.46298/DMTCS.7435OpenAlexW3154847826MaRDI QIDQ5038201FDOQ5038201
Authors: Manuel Bodirsky, Jakub Rydval, André Schrottenloher
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Foundations of inductive logic programming
- Complexity of infinite-domain constraint satisfaction
- Some useful preservation theorems
- A proof of the CSP dichotomy conjecture
- An algebraic view on p-admissible concrete domains for lightweight description logics
- ASNP: a tame fragment of existential second-order logic
- Title not available (Why is that?)
Cited In (6)
This page was built for publication: Universal Horn Sentences and the Joint Embedding Property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5038201)