| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi: Hints in Unification. TPHOLs 2009: 84-98 |
| 2008 | ||
| 1 | EE | Andrea Asperti, Wilmer Ricciotti: About the Formalization of Some Results by Chebyshev in Number Theory. TYPES 2008: 19-31 |
| 1 | Andrea Asperti | [1] [2] |
| 2 | Claudio Sacerdoti Coen | [2] |
| 3 | Enrico Tassi | [2] |