Eugenio G. Omodeo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1980–2001
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CADE | Instructing Equational Set-Reasoning with Otter. | Andrea Formisano, Eugenio G. Omodeo, Marco Temperini |
| 1993 | ICLP | Unification of Hyperset Terms. | Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo |
| 1993 | ICLP | Extensional and Intensional Sets in CLP with Intensional Negation. | Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli |
| 1991 | ICLP | {log}: A Logic Programming Language with Finite Sets. | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
| 1990 | ECAI | Truth Tables for a Combinatorial Kernel of Set Theories. | Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti |
| 1989 | IJCAI | On the Decidability of Formulae Involving Continuous and Closed Functions. | Domenico Cantone, Eugenio G. Omodeo |
| 1980 | CADE | Decision Procedures for Some Fragments of Set Theory. | Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz |