D Cantone

THE QUEST FOR DIOPHANTINE FINITE-FOLD-NESS
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.