- A.Asperti,J.Avigad.
Zen and the Art of Formalization.
Mathematical Structures in Computer Science (to appear)
- A.Asperti, C.Sacerdoti Coen.
Some Considerations on the Usability of
Interactive Provers. Proceedings of AISC/MKM/Calculemus 2010, LNCS 6167,
pp.147-156.
- A.Asperti, E.Tassi: Smart Matching.
Proceedings of
AISC/MKM/Calculemus 2010. LNCS 6167,pp. 263-277.
- A.Asperti,H.Geuvers,R.Natarajan.
Social Processes, Program Verification
and all that.
Mathematical Structures in Computer Science, vol 19, issue 05,
pp 877-896, october 2009.
- A.Asperti, W.Ricciotti, C.Sacerdoti Coen, E.Tassi.
Hints in unification.. Proceedings of TPHOLS'09, LNCS 5674, pp. 84 - 98, 2009.
- A.Asperti, W.Ricciotti.
About the Formalization of Some Results by Chebyshev in Number Theory.
Proceedings of TYPES'08, LNCS 5497, pp.19-31, 2009.
- A.Asperti, W.Ricciotti, C.Sacerdoti Coen, E.Tassi.
A compact kernel for the calculus of inductive constructions.. In Special Issue on Iteractive Proving and Proof Checking of the Academy Journal of Engineering Sciences (Sadhana) of the Indian Academy of Sciences. SADHANA (BANGALORE). vol. 34(1), pp. 71 - 144, 2009.
- A.Asperti, E.Tassi
An Interactive Driver for Goal-directed Proof Strategies.
Electr. Notes Theor. Comput. Sci. 226: 89-105, 2009.
- A.Asperti, C.Armentano
A Page in Number Theory. Journal of Formalized Reasoning, Vol.1, pp.1-23, 2008.
- A.Asperti
The Intensional Content of Rice's Theorem
Proceedings of the 35th Annual ACM SIGPLAN - SIGACT Symposium
on Principles of Programming Languages (POPL 2008), San Francisco,
USA, 2008.
- A.Asperti, E.Tassi.
Higher order proof reconstruction from paramodulation-based
refutations: the unit equality case.
Proceedings of MKM 2007: The 6th International Conference
on Mathematical Knowledge Management.
LNCS 4573, 2007.
- A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.
Crafting a Proof Assistant.
Proceedings of Types 2006: Types for Proofs and Programs.
Nottingham, UK -- April 18-21, 2006.
LNCS 4502,
Springer, ISBN 978-3-540-74463-4, pp. 18-32, 2007
- A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.
User Interaction with
the Matita Proof Assistant.
Journal of Automated Reasoning,
Special Issue on User Interfaces for Theorem Proving,
Springer Netherlands, ISSN 0168-7433, pp. 109-139, 2007
-
More....
|
