| * | 2009 |
|---|
| 11 | EE | Claudio Sacerdoti Coen,
Enrico Tassi:
Natural Deduction Environment for Matita.
Calculemus/MKM 2009: 486-491 |
| 10 | EE | Andrea Asperti,
Wilmer Ricciotti,
Claudio Sacerdoti Coen,
Enrico Tassi:
Hints in Unification.
TPHOLs 2009: 84-98 |
| 9 | EE | Andrea Asperti,
Enrico Tassi:
An Interactive Driver for Goal-directed Proof Strategies.
Electr. Notes Theor. Comput. Sci. 226: 89-105 (2009) |
| 2007 |
|---|
| 8 | EE | Andrea Asperti,
Enrico Tassi:
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case.
Calculemus/MKM 2007: 146-160 |
| 7 | EE | Georges Gonthier,
Assia Mahboubi,
Laurence Rideau,
Enrico Tassi,
Laurent Théry:
A Modular Formalisation of Finite Group Theory.
TPHOLs 2007: 86-101 |
| 6 | EE | Claudio Sacerdoti Coen,
Enrico Tassi:
Working with Mathematical Structures in Type Theory.
TYPES 2007: 157-172 |
| 5 | EE | Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Tinycals: Step by Step Tacticals.
Electr. Notes Theor. Comput. Sci. 174(2): 125-142 (2007) |
| 4 | EE | Andrea Asperti,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
User Interaction with the Matita Proof Assistant.
J. Autom. Reasoning 39(2): 109-139 (2007) |
| 2006 |
|---|
| 3 | EE | Andrea Asperti,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Crafting a Proof Assistant.
TYPES 2006: 18-32 |
| 2004 |
|---|
| 2 | EE | Andrea Asperti,
Ferruccio Guidi,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
A Content Based Mathematical Search Engine: Whelp.
TYPES 2004: 17-32 |
| 2001 |
|---|
| 1 | EE | L. A. T. Bauerdick,
Adrian Fox-Murphy,
Tobias Haas,
Stefan Stonjek,
Enrico Tassi:
Event Indexing Systems for Efficient Selection and Analysis of HERA Data
CoRR cs.DB/0104008: (2001) |
