Decidability results for sets with atoms

From MaRDI portal

Publication:5277749

Jump to:navigation, search

DOI10.1145/1131313.1131317zbMath1407.03008OpenAlexW1971558321MaRDI QIDQ5277749

Agostino Dovier, Andrea Formisano, Eugenio Giovanni Omodeo

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1131313.1131317

zbMATH Keywords

quantifier elimination satisfiability problem unification prenex sentences syllogistics set-hyperset theories

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Applications of set theory (03E75)

Related Items (1)

This page was built for publication: Decidability results for sets with atoms

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5277749&oldid=19925229"