Theo dõi
Eugenio Omodeo
Eugenio Omodeo
Università degli Studi di Trieste, formerly professor in Computer Science, today 'senior scholar'
Email được xác minh tại units.it
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Set theory for computing: from decision procedures to declarative programming with sets
D Cantone, E Omodeo, A Policriti
Springer Science & Business Media, 2013
2002013
Computable set theory
D Cantone, A Ferro, E Omodeo
Clarendon Press, 1989
1581989
{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
1391996
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
1321980
{log}: A logic programming language with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
The MIT Press, 1991
851991
Computational logic and set theory: Applying formalized logic to analysis
JT Schwartz, D Cantone, EG Omodeo
Springer Science & Business Media, 2011
792011
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
551981
The automation of syllogistic: II. Optimization and complexity issues
D Cantone, EG Omodeo, A Policriti
Journal of Automated Reasoning 6, 173-187, 1990
521990
Decision procedures for some fragments of set theory
A Ferro, EG Omodeo, JT Schwartz
International Conference on Automated Deduction, 88-96, 1980
471980
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
452002
A computerized referee
EG Omodeo, D Cantone, A Policriti, JT Schwartz
Reasoning, Action and Interaction in AI Theories and Systems: Essays …, 2006
402006
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
372003
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
361993
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
351995
Decidability of∀*∀‐Sentences in Membership Theories
EG Omodeo, F Parlamento, A Policriti
Mathematical Logic Quarterly 42 (1), 41-58, 1996
321996
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
302014
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
The Bernays-Schönfinkel-Ramsey class for set theory: decidability
A Policriti, E Omodeo
The Journal of Symbolic Logic 77 (3), 896-918, 2012
252012
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
E Omodeo, A Policriti
The Journal of Symbolic Logic 75 (2), 459-480, 2010
252010
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators
D Cantone, P Ursino, EG Omodeo
Information and Computation 172 (2), 165-201, 2002
252002
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20