A.Asperti; H.Geuvers; R.Natarajan, Social processes, program verification and all that, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 1 - 20 [Scientific article]
A.Asperti; C.Armentano, A page in number theory, «JOURNAL OF FORMALIZED REASONING», 2008, 1, No.1, pp. 1 - 23 [Scientific article]
A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli, Matita 0.5.7, 2008. [Software]
A. Asperti, The intensional content of Rice's theorem., in: POPL '08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, NEW YORK, ACM, 2008, pp. 113 - 120 (atti di: POPL '08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco (CA), January 7-12 2008) [Contribution to conference proceedings]
A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Crafting a Proof Assistant, in: Types for Proofs and Programs, 2007, 4502, pp. 18 - 32 (atti di: TYPES 2006, Nottingham, UK, April 18-21, 2006) [Contribution to conference proceedings]
A.Asperti; E.Tassi., Higher order proof reconstruction from paramodulation-based refutations: the unit equality case., in: Towards Mechanized Mathematical Assistants, 2007, 4573, pp. 146 - 160 (atti di: MKM 2007, Hagenberg, Austria, 27 - 30 June 2007) [Contribution to conference proceedings]
Ruolo editoriale nella rivista «Journal of Formalized Reasoning
ISSN: 1972-5787», BOLOGNA, CIB Centro Inter-Bibliotecario
A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Matita, 2007. [Software]
A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli, User Interaction with the Matita Proof Assistant, «JOURNAL OF AUTOMATED REASONING», 2007, 39, Number 2, pp. 109 - 139 [Scientific article]
Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio, An Interactive Algebra Course with Formalised Proofs and
Definitions, in: Lecture Notes in Computer Science-Lecture Notes in Artificial Intelligence
Mathematical Knowledge Management
4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 315 - 329 (atti di: Mathematical Knowledge Management
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contribution to conference proceedings]
A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, A content based mathematical search engine: Whelp, in: Types for Proofs and Programs
International Workshop, TYPES 2004, s.l, Springer, 2005, 3839, pp. 17 - 32 (atti di: Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contribution to conference proceedings]
A.Asperti; M.Selmi, Efficient Retrieval of Mathematical Statements., in: Mathematical Knowledge Management, 2004, 3119, pp. 17 - 31 (atti di: Mathematical Knowledge Management, Bialowieza, Poland, settembre 2004) [Contribution to conference proceedings]
Coordination of a Research Project: IST-2001-33562 MoWGLI.
A.Asperti; G.Bancerek; A.Trybulec, Mathematical Knowledge Management, BERLIN, Springer, 2004, pp. 1-393 (Lecture Notes in Computer Science). [Editorship]
A. Asperti; P.Coppola; S.Martini., (Optimal) duplication is not elementary recursive., «INFORMATION AND COMPUTATION», 2004, 193(1), pp. 21 - 56 [Scientific article]
