A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen, A new type for tactics, in: PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems, s.l, s.n, 2009, pp. 22 - 29 (atti di: International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS09), Munich, Germany, August, 21, 2009) [Contributo in Atti di convegno]
A. Asperti; W. Ricciotti, About the Formalization of some Results by Chebyshev in Number Theory, in: , «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5497, pp. 19 - 31 (atti di: TYPES, Torino, Italy, March 26-29 2008) [Contributo in Atti di convegno]
A.Asperti; E.Tassi, An Interactive Driver for Goal-directed Proof Strategies., in: , 2009, 226, pp. 89 - 105 (atti di: User Interfaces for Theorem Provers (UITP 2008), Montréal, Québec, Canada, August 2008) [Contributo in Atti di convegno]
A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi, Hints in Unification, in: Theorem Proving in Higher Order Logics, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5674, pp. 84 - 98 (atti di: Theorem Proving in Higher Order Logics (TPHOLs 2009), Munich, Germany, August 17-20, 2009) [Contributo in Atti di convegno]
A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Matita 0.5.8, 2009. [software]
A.Asperti; N.Busi, Mobile Petri nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, V.19, n.6, pp. 1265 - 1278 [articolo]
R.Amadio; A.Asperti; G.Castagna, Preface, «INFORMATION AND COMPUTATION», 2009, 207(5), pp. 543 - 544 [replica/breve intervento]
A.Asperti; H.Geuvers; R.Natarajan, Social processes, program verification and all that, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 1 - 20 [articolo]
A.Asperti; C.Armentano, A page in number theory, «JOURNAL OF FORMALIZED REASONING», 2008, 1, No.1, pp. 1 - 23 [articolo]
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) [Contributo in Atti di convegno]
A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Crafting a Proof Assistant, in: Types for Proofs and Programs, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4502, pp. 18 - 32 (atti di: TYPES 2006, Nottingham, UK, April 18-21, 2006) [Contributo in Atti di convegno]
A.Asperti; E.Tassi., Higher order proof reconstruction from paramodulation-based refutations: the unit equality case., in: Towards Mechanized Mathematical Assistants, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4573, pp. 146 - 160 (atti di: MKM 2007, Hagenberg, Austria, 27 - 30 June 2007) [Contributo in Atti di convegno]
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]
