CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Cantone D
Latest
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
Cite
×