×

Omodeo, Eugenio Giovanni

Author ID: omodeo.eugenio-giovanni Recent zbMATH articles by "Omodeo, Eugenio Giovanni"
Published as: Omodeo, Eugenio G.; Omodeo, E. G.; Omodeo, Eugenio; Omodeo, Eugenio Giovanni; Omodeo, E.
External Links: MGP · ORCID · Google Scholar · dblp · GND

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 249 times in 93 Documents Cited by Year
Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz. Zbl 0981.03056
Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
30
2001
Computable set theory. Vol. 1. Zbl 0755.03024
Cantone, Domenico; Ferro, Alfredo; Omodeo, Eugenio
24
1989
\(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056
Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco
22
1996
Decision procedures for elementary sublanguages of set theory. I: Multi- level syllogistic and some extensions. Zbl 0453.03009
Ferro, Alfredo; Omodeo, Eugenio G.; Schwartz, Jacob T.
20
1980
Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis. Zbl 1246.03006
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.
16
2011
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions. Zbl 0465.03003
Breban, M.; Ferro, A.; Omodeo, E. G.; Schwartz, J. T.
11
1981
Decidability of \(\exists^* \forall\)-sentences in membership theories. Zbl 0836.03011
Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto
7
1996
The automation of syllogistic. II: Optimization and complexity issues. Zbl 0744.03015
Cantone, D.; Omodeo, E. G.; Policriti, A.
7
1990
Decision procedures for some fragments of set theory. Zbl 0457.03009
Ferro, A.; Omodeo, E. G.; Schwartz, J. T.
7
1980
Compiling dyadic first-order specifications into map algebra. Zbl 1025.68053
Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G.
7
2003
An equational re-engineering of set theories. Zbl 0955.03016
Formisano, Andrea; Omodeo, Eugenio
6
2000
Goals and benchmarks for automated map reasoning. Zbl 0965.03014
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
6
2000
Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case. Zbl 0849.03009
Omodeo, Eugenio G.; Policriti, Alberto
5
1995
A ‘theory’ mechanism for a proof-verifier based on first-order set theory. Zbl 1012.68181
Omodeo, Eugenio G.; Schwartz, Jacob T.
5
2002
Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets. Zbl 1315.68223
Omodeo, Eugenio G.; Tomescu, Alexandru I.
5
2014
On sets and graphs. Perspectives on logic and combinatorics. Zbl 1382.05002
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
5
2017
Decision algorithms for some fragments of analysis and related areas. Zbl 0656.03006
Cantone, D.; Ferro, A.; Omodeo, E.; Schwartz, J. T.
4
1987
The Bernays-Schönfinkel-Ramsey class for set theory: decidability. Zbl 1251.03025
Omodeo, Eugenio; Policriti, Alberto
4
2012
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Zbl 1201.03007
Omodeo, Eugenio; Policriti, Alberto
4
2010
Notes from the logbook of a proof-checker’s project. Zbl 1274.68407
Cantone, Domenico; Omodeo, Eugenio G.; Schwartz, Jacob T.; Ursino, Pietro
4
2003
Instructing equational set-reasoning with Otter. Zbl 0988.68164
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
4
2001
Three-variable statements of set-pairing. Zbl 1058.03028
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
4
2004
The automation of syllogistic. I: Syllogistic normal forms. Zbl 0658.03010
Cantone, Domenico; Ghelfo, Susanna; Omodeo, Eugenio
3
1988
An efficient validity test for formulae in extensional two-level syllogistic. Zbl 0448.68021
Ferro, Alfredo; Omodeo, Eugenio G.
3
1978
Martin Davis on computability, computational logic, and mathematical foundations. Zbl 1365.03013
3
2016
Layered map reasoning: an experimental approach put to trial on sets. Zbl 1263.03008
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
3
2001
Decision procedures for elementary sublanguages of set theory. VIII. A semidecision procedure for finite satisfiability of unquantified set- theoretic formulae. Zbl 0645.03007
Cantone, D.; Ferro, A.; Omodeo, E. G.
2
1988
Decision procedures for elementary sublanguages of set theory. VII: Validity in set theory when a choice operator is present. Zbl 0656.03007
Ferro, A.; Omodeo, E. G.
2
1987
Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025
Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto
2
1999
The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
2
2005
Towards practical implementation of syllogistic. Zbl 0608.03005
Ghelfo, S.; Omodeo, E. G.
2
1985
A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets. Zbl 0796.03009
Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto
2
1993
Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators. Zbl 1009.03010
Cantone, Domenico; Ursino, Pietro; Omodeo, Eugenio G.
2
2002
Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership. Zbl 1498.03113
Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G.
2
2020
The linked conjunct method for automatic deduction and related search techniques. Zbl 0506.68075
Omodeo, Eugenio G.
1
1982
Bisimilarity, hypersets, and stable partitioning: a survey. Zbl 1245.03072
Omodeo, Eugenio G.
1
2010
Statements of ill-founded infinity in set theory. Zbl 1244.03136
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2010
Using ÆtnaNova to formally prove that the Davis-Putnam satisfiability test is correct. Zbl 1180.03015
Omodeo, Eugenio G.; Tomescu, Alexandru I.
1
2008
ER modelling from first relational principles. Zbl 1070.68027
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2004
The elimination of descriptions from A. Bressan’s modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based. Zbl 0383.03013
Omodeo, Eugenio Giovanni
1
1978
Mapping sets and hypersets into numbers. Zbl 1371.03060
D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2015
Decidability results for sets with atoms. Zbl 1407.03008
Dovier, Agostino; Formisano, Andrea; Omodeo, Eugenio G.
1
2006
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. Zbl 1027.03028
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2002
Set graphs. V. on representing graphs as membership digraphs. Zbl 1331.68203
Omodeo, Eugenio G.; Tomescu, Alexandru I.
1
2015
Theory-specific automated reasoning. Zbl 1285.68146
Formisano, Andrea; Omodeo, Eugenio G.
1
2010
Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case. Zbl 1498.03112
Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.
1
2021
Infinity, in short. Zbl 1284.03231
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2012
Solvable (and unsolvable) cases of the decision problem for fragments of analysis. Zbl 1309.03007
Cantone, Domenico; Omodeo, Eugenio G.; Spartà, Gaetano T.
1
2012
Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case. Zbl 1498.03112
Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.
1
2021
Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership. Zbl 1498.03113
Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G.
2
2020
On sets and graphs. Perspectives on logic and combinatorics. Zbl 1382.05002
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
5
2017
Martin Davis on computability, computational logic, and mathematical foundations. Zbl 1365.03013
3
2016
Mapping sets and hypersets into numbers. Zbl 1371.03060
D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2015
Set graphs. V. on representing graphs as membership digraphs. Zbl 1331.68203
Omodeo, Eugenio G.; Tomescu, Alexandru I.
1
2015
Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets. Zbl 1315.68223
Omodeo, Eugenio G.; Tomescu, Alexandru I.
5
2014
The Bernays-Schönfinkel-Ramsey class for set theory: decidability. Zbl 1251.03025
Omodeo, Eugenio; Policriti, Alberto
4
2012
Infinity, in short. Zbl 1284.03231
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2012
Solvable (and unsolvable) cases of the decision problem for fragments of analysis. Zbl 1309.03007
Cantone, Domenico; Omodeo, Eugenio G.; Spartà, Gaetano T.
1
2012
Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis. Zbl 1246.03006
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.
16
2011
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Zbl 1201.03007
Omodeo, Eugenio; Policriti, Alberto
4
2010
Bisimilarity, hypersets, and stable partitioning: a survey. Zbl 1245.03072
Omodeo, Eugenio G.
1
2010
Statements of ill-founded infinity in set theory. Zbl 1244.03136
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2010
Theory-specific automated reasoning. Zbl 1285.68146
Formisano, Andrea; Omodeo, Eugenio G.
1
2010
Using ÆtnaNova to formally prove that the Davis-Putnam satisfiability test is correct. Zbl 1180.03015
Omodeo, Eugenio G.; Tomescu, Alexandru I.
1
2008
Decidability results for sets with atoms. Zbl 1407.03008
Dovier, Agostino; Formisano, Andrea; Omodeo, Eugenio G.
1
2006
The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
2
2005
Three-variable statements of set-pairing. Zbl 1058.03028
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
4
2004
ER modelling from first relational principles. Zbl 1070.68027
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2004
Compiling dyadic first-order specifications into map algebra. Zbl 1025.68053
Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G.
7
2003
Notes from the logbook of a proof-checker’s project. Zbl 1274.68407
Cantone, Domenico; Omodeo, Eugenio G.; Schwartz, Jacob T.; Ursino, Pietro
4
2003
A ‘theory’ mechanism for a proof-verifier based on first-order set theory. Zbl 1012.68181
Omodeo, Eugenio G.; Schwartz, Jacob T.
5
2002
Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators. Zbl 1009.03010
Cantone, Domenico; Ursino, Pietro; Omodeo, Eugenio G.
2
2002
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. Zbl 1027.03028
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2002
Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz. Zbl 0981.03056
Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
30
2001
Instructing equational set-reasoning with Otter. Zbl 0988.68164
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
4
2001
Layered map reasoning: an experimental approach put to trial on sets. Zbl 1263.03008
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
3
2001
An equational re-engineering of set theories. Zbl 0955.03016
Formisano, Andrea; Omodeo, Eugenio
6
2000
Goals and benchmarks for automated map reasoning. Zbl 0965.03014
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
6
2000
Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025
Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto
2
1999
\(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056
Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco
22
1996
Decidability of \(\exists^* \forall\)-sentences in membership theories. Zbl 0836.03011
Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto
7
1996
Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case. Zbl 0849.03009
Omodeo, Eugenio G.; Policriti, Alberto
5
1995
A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets. Zbl 0796.03009
Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto
2
1993
The automation of syllogistic. II: Optimization and complexity issues. Zbl 0744.03015
Cantone, D.; Omodeo, E. G.; Policriti, A.
7
1990
Computable set theory. Vol. 1. Zbl 0755.03024
Cantone, Domenico; Ferro, Alfredo; Omodeo, Eugenio
24
1989
The automation of syllogistic. I: Syllogistic normal forms. Zbl 0658.03010
Cantone, Domenico; Ghelfo, Susanna; Omodeo, Eugenio
3
1988
Decision procedures for elementary sublanguages of set theory. VIII. A semidecision procedure for finite satisfiability of unquantified set- theoretic formulae. Zbl 0645.03007
Cantone, D.; Ferro, A.; Omodeo, E. G.
2
1988
Decision algorithms for some fragments of analysis and related areas. Zbl 0656.03006
Cantone, D.; Ferro, A.; Omodeo, E.; Schwartz, J. T.
4
1987
Decision procedures for elementary sublanguages of set theory. VII: Validity in set theory when a choice operator is present. Zbl 0656.03007
Ferro, A.; Omodeo, E. G.
2
1987
Towards practical implementation of syllogistic. Zbl 0608.03005
Ghelfo, S.; Omodeo, E. G.
2
1985
The linked conjunct method for automatic deduction and related search techniques. Zbl 0506.68075
Omodeo, Eugenio G.
1
1982
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions. Zbl 0465.03003
Breban, M.; Ferro, A.; Omodeo, E. G.; Schwartz, J. T.
11
1981
Decision procedures for elementary sublanguages of set theory. I: Multi- level syllogistic and some extensions. Zbl 0453.03009
Ferro, Alfredo; Omodeo, Eugenio G.; Schwartz, Jacob T.
20
1980
Decision procedures for some fragments of set theory. Zbl 0457.03009
Ferro, A.; Omodeo, E. G.; Schwartz, J. T.
7
1980
An efficient validity test for formulae in extensional two-level syllogistic. Zbl 0448.68021
Ferro, Alfredo; Omodeo, Eugenio G.
3
1978
The elimination of descriptions from A. Bressan’s modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based. Zbl 0383.03013
Omodeo, Eugenio Giovanni
1
1978
all top 5

Cited by 95 Authors

25 Cantone, Domenico
24 Omodeo, Eugenio Giovanni
15 Policriti, Alberto
9 Formisano, Andrea
6 Nicolosi Asmundo, Marianna
6 Parlamento, Franco
6 Rossi, Gianfranco
6 Tomescu, Alexandru Ioan
5 Avron, Arnon
5 Cristiá, Maximiliano
5 Zarba, Calogero G.
4 Dovier, Agostino
3 Bellè, Dorella
3 Doberkat, Ernst-Erich
3 Maugeri, Pietro
3 Pontelli, Enrico
3 Santamaria, Daniele Francesco
3 Schwartz, Jacob Theodore
2 Bansal, Kshitij
2 Barrett, Clark W.
2 Cincotti, Gianluca
2 de Freitas, Renata P.
2 Ferro, Alfredo
2 Longo, Cristiano
2 Milanič, Martin
2 Reynolds, Andrew
2 Rizzi, Romeo
2 Temperini, Marco
2 Tinelli, Cesare
2 Ursino, Pietro
2 Veloso, Paulo Augusto S.
2 Veloso, Sheila R. M.
2 Viana, Petrucio
1 Andréka, Hajnal
1 Ângelo, Pedro
1 Barklund, Jonas
1 Bezhanishvili, Nick
1 Bhaskara Rao, K. P. S.
1 Breban, Michael
1 Buriola, Gabriele
1 Cenzer, Douglas
1 Cohen, Liron
1 D’Agostino, Giovanna
1 Davis, Martin David
1 De Domenico, Andrea
1 De Luca, Guido
1 Ding, Yifeng
1 Fabiano, Francesco
1 Feferman, Solomon
1 Florido, Mário
1 Frydman, Claudia
1 Gallo, Giovanni
1 Gervet, Carmen
1 Ghelfo, Susanna
1 Giarlotta, Alfio
1 Giordano, Laura
1 Harrison-Trainor, Matthew
1 Hespel, Christiane
1 Hibti, M.
1 Holliday, Wesley H.
1 Ivanov, Nikolay A.
1 Jacob, Gérard
1 Kuncak, Viktor
1 Legeard, Bruno
1 Lev, Shahar
1 Levi, Nissan
1 Lim, Seung-Jin
1 Lombardi, Henri
1 Luna, Carlos
1 Marek, V. Wiktor
1 Mikulás, Szabolcs
1 Montanari, Angelo
1 Németi, István
1 Ng, Yiu-Kai
1 Nguyen, Huu Hai
1 Piazza, Carla
1 Remmel, Jeffrey Brian
1 Rinard, Martin C.
1 Ruggeri Cannata, Rosa
1 Sain, Ildikó
1 Sieg, Wilfried
1 Siekmann, Jörg H.
1 Simeoni, Marta
1 Simon, András
1 Spartà, Gaetano T.
1 Szabó, Peter
1 Tardivo, Fabio
1 Tetruashvili, Michail R.
1 Vakarelov, Dimiter
1 van Benthem, Johan F. A. K.
1 Voigt, Marco
1 Walsh, Patrick M.
1 Watson, William Stephen
1 Zambella, Domenico
1 Zanardo, Alberto

Citations by Year