Concepedia

Eugenio G. Omodeo

EG

Statistics

Publications

22

Citations

580

H-Index

14

Active since

1980

Affiliations

University of Udine(Current)

University of Trieste

University of Catania

University of L'Aquila

Courant Institute of Mathematical Sciences

Eugenio G. Omodeo is an author at University of Udine specializing in computer science, mathematics, and set theory.

ORCID

Publications per year

1980–2015

22

Publications

22

{log}: A language for programming in logic with finite sets

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli et al. · The Journal of Logic Programming · 1996 · 98 citations

, , +11

Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions

Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz · Communications on Pure and Applied Mathematics · 1980 · 84 citations

, , +8

{log}: A Logic Programming Language with Finite Sets.

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli et al. · International Conference on Lightning Protection · 1991 · 53 citations

, , +13

Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions

Michael Breban, Alfredo Ferro, Eugenio G. Omodeo et al. · Communications on Pure and Applied Mathematics · 1981 · 39 citations

, , +15

The automation of syllogistic

Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti · Journal of Automated Reasoning · 1990 · 36 citations · Full text

, , +2

1–5 of 22