Travelled to:1 × Italy
2 × France
Collaborated with:A.Formisano M.Temperini A.Ferro J.T.Schwartz A.Dovier E.Pontelli G.Rossi
Talks about:set (3) procedur (1) instruct (1) fragment (1) program (1) languag (1) theori (1) reason (1) otter (1) logic (1)
Person: Eugenio G. Omodeo
DBLP: Omodeo:Eugenio_G=
Contributed to:
2001
1991
1980Wrote 3 papers:
- IJCAR-2001-FormisanoOT #equation
- Instructing Equational Set-Reasoning with Otter (AF, EGO, MT), pp. 152–167.
- ICLP-1991-DovierOPR #finite #logic programming #programming language #set
- {log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.
- CADE-1980-FerroOS #set
- Decision Procedures for Some Fragments of Set Theory (AF, EGO, JTS), pp. 88–96.