Searching for authors named "Enrico Tassi" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
- Add To MetaCart
Showing 1 through 9.
