- 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.
-
A.Asperti, M.Selmi.
Efficient Retrieval of Mathematical Statements.
Proceeding of the Third International Conference on
Mathematical Knowledge Management, MKM 2004. Bialowieza, Poland.
LNCS 3119.
- A.Asperti, G.Bancerek, A.Trybulec (eds).
Proceedings of the
Third International Conference on Mathematical Knowledge Management,
LNCS 3119. Bialowieza, poland, september 2004.
-
A.Asperti, L.Padovani, C.Sacerdoti Coen, F.Guidi e I.Schena.
Mathematical Knowledge Management in HELM.
Annals of Mathematics and Artificial
Intelligence 38(1): 27--46, 2003.
- A.Asperti, B.Buchberger, J.H.Davenport (eds).
Proceedings of the
Second International Conference on Mathematical Knowledge Management,
LNCS 2594. Bertinoro, Italy, february 2003.
-
A.Asperti, L.Roversi.
Intuitionistic Light Affine Logic.
ACM Transactions on Computational Logic (TOCL), Volume 3 ,
Issue 1, January 2002, pp.137 - 175.
-
A.Asperti, L.Padovani, C.Sacerdoti Coen, I.Schena.
Content-centric Logical Environments.
Short Presentation at LICS-2000.
|
