D Cantone

The Automation of Syllogistic, Vol. 2

Decision Procedures for Elementary Sublanguages of Set Theory; VI; Multi-Level Syllogistic Extended by the Powerset Operator (Classic Reprint)

A Decision Procedure for Set-Theoretic Formulae Involving Rank and Cardinality Comparison (Classic Reprint)

Decision Algorithms for Some Fragments of Analysis and Related Areas (Classic Reprint)

Set-Theoretic Reductions of Hilbert's Tenth Problem (Classic Reprint)

Some Decidability Results on Quantified Sublanguages of Set Theory (Classic Reprint)

On the Decidability of Presburger Arithmetic with Homogeneous Exponentiation (Classic Reprint)

Decision Procedures for Elementary Sublanguages of Set Theory

Decision Procedures for Elementary Sublanguages of Set Theory. X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators

Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs

Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator

Decision Procedures for Elementary Sublanguages of Set Theory. XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs

Decision Algorithms for Some Fragments of Analysis and Related Areas