Home / Authors / D. Cantone

Books by D. Cantone

All books by this author

2 books found
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator. No. 131
Decision procedures for elementary sublanguages of set theo…
By: D. Cantone
View Details
Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988
Decision procedures for elementary sublanguages of set theo…
By: D. Cantone
View Details