D. Cantone

Books by D. Cantone

Total count: 9

• 
  Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator.

  Courant Institute of Mathematical Sciences, New York University1984-01-01
• 
  Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator.

  Courant Institute of Mathematical Sciences, New York University1985-01-01
• 
  Decision algorithms for some fragments of analysis and related areas

  Courant Institute of Mathematical Sciences, New York University1986-01-01
• 
  Some decidability results on quantified sublanguages of set theory.

  Courant Institute of Mathematical Sciences, New York University1988-01-01
• 
  Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs.

  Courant Institute of Mathematical Sciences, New York University1988-01-01
• 
  The automation of syllotistic. II. Optimization and complexity issues.

  Courant Institute of Mathematical Sciences, New York University1988-01-01
• 
  Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators.

  Courant Institute of Mathematical Sciences, New York University1988-01-01
• 
  Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs.

  Courant Institute of Mathematical Sciences, New York University1988-01-01
• 
  On the decidability of Presburger arithmetic with homogeneous exponentiation.

  Courant Institute of Mathematical Sciences, New York University1989-01-01