Eugenio G. Omodeo
Author
Alternate names Eugenio Giovanni Omodeo, E. Omodeo, E. G. Omodeo, Eugenio G. Omodeo, Eugenio Omodeo
Institution University of Trieste
Past institutions University of Trieste, University of Padua, Clarke University, University of L'Aquila, Sapienza University of Rome +5 more
ORCID: Yes
H-index: 19
I10-index: 36
Works count: 151
Citations count: 1,281
{log}: A language for programming in logic with finite sets
1996 · Agostino Dovier, Eugenio G. Omodeo, et al. · The Journal of Logic Programming
Set Theory for Computing
2001 · Domenico Cantone, Eugenio G. Omodeo, et al. · Texts and monographs in computer science
Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions
1980 · Alfredo Ferro, Eugenio G. Omodeo, et al. · Communications on Pure and Applied Mathematics