| 2003 |
|---|
| 3 | EE | Domenico Cantone,
Eugenio G. Omodeo,
Jacob T. Schwartz,
Pietro Ursino:
Notes from the Logbook of a Proof-Checker's Project.
Verification: Theory and Practice 2003: 182-207 |
| 2002 |
|---|
| 2 | EE | Domenico Cantone,
Pietro Ursino,
Eugenio G. Omodeo:
Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators.
Inf. Comput. 172(2): 165-201 (2002) |
| 1999 |
|---|
| 1 | | Domenico Cantone,
Eugenio G. Omodeo,
Pietro Ursino:
Transitive Venn diagrams with applications to the decision problem in set theory.
APPIA-GULP-PRODE 1999: 167-182 |
