Follow
Eugenio Omodeo
Eugenio Omodeo
Universitą degli Studi di Trieste, formerly professor in Computer Science, today 'senior scholar'
Verified email at units.it
Title
Cited by
Cited by
Year
Set theory for computing: from decision procedures to declarative programming with sets
D Cantone, E Omodeo, A Policriti
Springer Science & Business Media, 2013
1822013
Computable set theory
D Cantone, A Ferro, E Omodeo
Clarendon Press, 1989
1471989
{log}: A language for programming in logic with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
The Journal of logic programming 28 (1), 1-44, 1996
1321996
Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions
A Ferro, EG Omodeo, JT Schwartz
Communications on pure and Applied Mathematics 33 (5), 599-608, 1980
1271980
{log}: A logic programming language with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
The MIT Press, 1991
821991
Computational logic and set theory: Applying formalized logic to analysis
JT Schwartz, D Cantone, EG Omodeo
Springer Science & Business Media, 2011
742011
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
M Breban, A Ferro, EG Omodeo, JT Schwartz
Communications on Pure and Applied Mathematics 34 (2), 177-195, 1981
531981
The automation of syllogistic: II. Optimization and complexity issues
D Cantone, EG Omodeo, A Policriti
Journal of Automated Reasoning 6, 173-187, 1990
501990
Decision procedures for some fragments of set theory
A Ferro, EG Omodeo, JT Schwartz
International Conference on Automated Deduction, 88-96, 1980
461980
A ‘theory’mechanism for a proof-verifier based on first-order set theory
EG Omodeo, JT Schwartz
Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002
402002
A computerized referee
EG Omodeo, D Cantone, A Policriti, JT Schwartz
Reasoning, Action and Interaction in AI Theories and Systems: Essays …, 2006
382006
Notes from the logbook of a proof-checker’s project
D Cantone, EG Omodeo, JT Schwartz, P Ursino
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003
352003
Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case
EG Omodeo, A Policriti
Communications on Pure and Applied Mathematics 48 (9), 1123-1155, 1995
341995
Embedding finite sets in a logic programming language
A Dovier, EG Omodeo, E Pontelli, G Rossi
Extensions of Logic Programming: Third International Workshop, ELP'92 …, 1993
341993
Decidability of∀*∀‐Sentences in Membership Theories
EG Omodeo, F Parlamento, A Policriti
Mathematical Logic Quarterly 42 (1), 41-58, 1996
291996
Set graphs. III. Proof Pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
EG Omodeo, AI Tomescu
Journal of automated reasoning 52, 1-29, 2014
282014
Decision algorithms for some fragments of analysis and related areas
D Cantone, A Ferro, E Omodeo, JT Schwartz
Communications on Pure and Applied Mathematics 40 (3), 281-300, 1987
261987
An efficient validity test for formulae in extensional two-level syllogistic
A Ferro, EG Omodeo
Le Matematiche 33 (1), 130-137, 1978
261978
An equational re-engineering of set theories
A Formisano, E Omodeo
International Workshop on First-Order Theorem Proving, 175-190, 1998
251998
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
E Omodeo, A Policriti
The Journal of Symbolic Logic 75 (2), 459-480, 2010
242010
The system can't perform the operation now. Try again later.
Articles 1–20