Publication:4281682
From MaRDI portal
zbMath0794.03015MaRDI QIDQ4281682
Domenico Cantone, Jacob T. Schwartz, Vincenzo Cutello
Publication date: 7 April 1994
satisfiability problem; decision procedures; universal quantification; Presburger additive theory of integers; Tarski real arithmetic; unquantified Presburger arithmetic with sets; unquantified theory of sets of integers; unquantified theory of sets of reals
Related Items
Techniques of computable set theory with applications to proof verification, Combining sets with cardinals