Searching for authors named "Enrico Tassi" – sorted by Relevance.
-
Contents
- theorem prover Matita CLAUDIO SACERDOTI COEN and ENRICO TASSI Department of Computer Science, University
- Add To MetaCart
-
A modular formalisation of finite group theory
- Rideau † , Enrico Tassi ‡ and Laurent Théry † Microsoft Research INRIA † University of Bologna ‡ gonthier
- Cited by 3 (1 self) – Add To MetaCart
-
Working with Mathematical Structures in Type Theory
- Working with Mathematical Structures in Type Theory Claudio Sacerdoti Coen and Enrico Tassi
- Cited by 2 (2 self) – Add To MetaCart
-
Event Indexing Systems for Efficient Selection and Analysis of HERA Data
- Fox-Murphy, Tobias Haas y , Stefan Stonjek and Enrico Tassi z , Deutsches Elektronensynchrotron
- Add To MetaCart
-
User Interaction with the Matita Proof Assistant
- Sacerdoti Coen (sacerdot@(email omitted);), Enrico Tassi (tassi@(email omitted);) and Stefano Zacchiroli (zacchiro
- Cited by 6 (3 self) – Add To MetaCart
-
Hints in unification
- Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi
- Add To MetaCart
-
General Terms
- Coen Enrico Tassi Department of Computer Science, University of Bologna asperti@(email omitted);, ricciott
- Add To MetaCart
-
A content based mathematical search engine: whelp
- Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna
- Cited by 7 (5 self) – Add To MetaCart
-
only in Matita
-
Asperti
Claudio Sacerdoti Coen Enrico Tassi <tassi - Add To MetaCart

