Cantone D

Banishing Ultrafilters from Our Consciousness
Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets
The Automation of Syllogistic II. Optimization and Complexity Issues
Decidability results for classes of purely universal formulae and quantifiers elimination in Set Theory

Published with Wowchemy — the free, open source website builder that empowers creators.