E Omodeo

Latest

• The Bernays-Schoenfinkel-Ramsey Class in Set Theory: Decidability
• The Bernays Schoenfinkel Ramsey class for set theory: semidecidability
• Views on Time in Systems Biology
• A derived algorithm for evaluating epsilon-expressions over abstract sets
• A contribution to the Automated Treatment of Membership Theories
• The Automation of Syllogistic II. Optimization and Complexity Issues
• Truth Table for a Combinatorial Kernel of Set Theories