Search the dblp DataBase
Enrico Tassi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Andrea Asperti , Ferruccio Guidi , Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli A Content Based Mathematical Search Engine: Whelp. [Citation Graph (0, 0)][DBLP ] TYPES, 2004, pp:17-32 [Conf ] L. A. T. Bauerdick , Adrian Fox-Murphy , Tobias Haas , Stefan Stonjek , Enrico Tassi Event Indexing Systems for Efficient Selection and Analysis of HERA Data [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli Tinycals: Step by Step Tacticals. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:125-142 [Journal ] Andrea Asperti , Enrico Tassi Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case. [Citation Graph (0, 0)][DBLP ] Calculemus/MKM, 2007, pp:146-160 [Conf ] Georges Gonthier , Assia Mahboubi , Laurence Rideau , Enrico Tassi , Laurent Théry A Modular Formalisation of Finite Group Theory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:86-101 [Conf ] Andrea Asperti , Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli Crafting a Proof Assistant. [Citation Graph (0, 0)][DBLP ] TYPES, 2006, pp:18-32 [Conf ] Andrea Asperti , Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli User Interaction with the Matita Proof Assistant. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2007, v:39, n:2, pp:109-139 [Journal ] Smart Matching. [Citation Graph (, )][DBLP ] Natural Deduction Environment for Matita. [Citation Graph (, )][DBLP ] Hints in Unification. [Citation Graph (, )][DBLP ] Working with Mathematical Structures in Type Theory. [Citation Graph (, )][DBLP ] Smart matching [Citation Graph (, )][DBLP ] An Interactive Driver for Goal-directed Proof Strategies. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs