-
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.
|