| |
| 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 | |
| 1 | Domenico Cantone | [1] [2] [3] |
| 2 | Eugenio G. Omodeo | [1] [2] [3] |
| 3 | Jacob T. Schwartz | [3] |