On the spectra of universal relational sentences
From MaRDI portal
Publication:3722484
DOI10.1016/S0019-9958(84)80034-0zbMATH Open0593.03023OpenAlexW2021243585MaRDI QIDQ3722484
Publication date: 1984
Published in: Information and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0019-9958(84)80034-0
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Universal relations and {\#}P-completeness π π
- Relational semantics revisited π π
- Universal Relations and #P-Completeness π π
- On the foundations of the universal relation model π π
- A domain theoretic characterisation of the universal relation π π
- A Universal Construction for (Co)Relations π π
- On a product of universal relational systems π π
- Universal Horn Sentences and the Joint Embedding Property π π
This page was built for publication: On the spectra of universal relational sentences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3722484)