Volgen
Eugenio Omodeo
Eugenio Omodeo
Universitą degli Studi di Trieste, formerly professor in Computer Science, today 'senior scholar'
Geverifieerd e-mailadres voor units.it
Titel
Geciteerd door
Geciteerd door
Jaar
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
1331996
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
831991
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20