Publication:4281682
From MaRDI portal
zbMath0794.03015MaRDI QIDQ4281682
Domenico Cantone, Jacob T. Schwartz, Vincenzo Cutello
Publication date: 7 April 1994
satisfiability problemdecision proceduresuniversal quantificationPresburger additive theory of integersTarski real arithmeticunquantified Presburger arithmetic with setsunquantified theory of sets of integersunquantified theory of sets of reals
Related Items
Techniques of computable set theory with applications to proof verification, Combining sets with cardinals