andrea asperti's papers

Andrea Asperti
Dean of the Department of
Computer Science

Papers

A.Asperti, H.Geuvers, I.Loeb, L.E.Mamane, C.Sacerdoti Coen.
An Interactive Algebra Course with Formalised Proofs and Definitions. .Proceedings of the Fourth International Conference on Mathemtical Knowledge Management. Bremen, Germany, July 2005.
A.Asperti, F.Guidi, C. Sacerdoti Coen, E. Tassi, S.Zacchiroli
A content based mathematical search engine: Whelp Proceedings of the TYPES 2004 Intenrational Conference, Jouy-en-Josas France, December 2004.
A.Asperti, P.Coppola, S.Martini.
(Optimal) duplication is not elementary recursive. Information and Computation 193 (2004), pp.21-56. Short Popl-00 version.

home

december 2004