scientific article; zbMATH DE number 512972

zbMath0794.03015MaRDI QIDQ4281682

Domenico Cantone, Jacob T. Schwartz, Vincenzo Cutello

Publication date: 7 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiability problemdecision proceduresuniversal quantificationPresburger additive theory of integersTarski real arithmeticunquantified Presburger arithmetic with setsunquantified theory of sets of integersunquantified theory of sets of reals

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Related Items

Techniques of computable set theory with applications to proof verification, Combining sets with cardinals