scientific article; zbMATH DE number 2157312
From MaRDI portal
Publication:4669900
zbMath1062.03033MaRDI QIDQ4669900
Publication date: 15 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexityquantifier eliminationnumber of modelsBoolean algebras without atomic elements
Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Structure theory of Boolean algebras (06E05) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication:
