OMODEO, EUGENIO
OMODEO, EUGENIO
Dipartimento di Matematica, Informatica e Geoscienze
Collaboratori
A `Theory' mechanism for a proof verifier based on first-order set theory
2002-01-01 Omodeo, Eugenio; Schwartz, J. T.
A Brief History of Singlefold Diophantine Definitions
2023-01-01 Cantone, D.; Cuzziol, L.; Omodeo, E.
A computerized Referee
2006-01-01 Omodeo, Eugenio; D., Cantone; A., Policriti; J. T., Schwartz
A decidable theory involving addition of differentiable real functions
2023-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E.; Sparta, G. T.
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals
2020-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio; Spartà, Gaetano T.
A Decidable Theory Treating Addition of Differentiable Real Functions.
2021-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio; Spartà, Gaetano T.
A derived algorithm for evaluating epsilon-expressions over abstract sets
1993-01-01 Omodeo, Eugenio; Parlamento, F; Policriti, A.
A Diophantine representation of Wolstenholme's pseudoprimality
2015-01-01 Vallata, Luca; Omodeo, Eugenio
A graphical approach to relational reasoning
2001-01-01 Formisano, A; Omodeo, Eugenio; Simeoni, M.
A graphical representation of relational formulae with complementation
2012-01-01 Cantone, D.; Formisano, A.; Nicolosi Asmundo, M.; Omodeo, Eugenio
A language for programming in logic with finite sets
1996-01-01 Dovier, A.; Omodeo, Eugenio; Pontelli, E.; Rossi, G. F.
A proof-checking experiment on representing graphs as membership digraphs
2013-01-01 Calligaris, Pierpaolo; Omodeo, Eugenio; Tomescu, Alexandru I.
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF
2020-01-01 Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic
2024-01-01 Ferro, A.; Omodeo, E.
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.
2002-01-01 DOBERKAT E., E; Omodeo, Eugenio
An environment for specifying properties of dyadic relations and reasoning about them. I: Language extension mechanisms.
2003-01-01 P., Caianiello; S., Costantini; Omodeo, Eugenio
An environment for specifying properties of dyadic relations and reasoning about them. II: Relational presentation of non-classical logics.
2006-01-01 A., Formisano; Omodeo, Eugenio; E., Orlowska
An equational re-engineering of set theories
2000-01-01 Formisano, A; Omodeo, Eugenio
Automation of aggregate theories: The cornerstones of equational expressibility.
2002-01-01 A., Formisano; Omodeo, Eugenio; A., Policriti
Banishing Ultrafilters from Our Consciousness
2016-01-01 Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto