Author:
Asperti Andrea,Selmi Matteo
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Asperti, A., Goguadze, G., Melis, E.: Structure and meta-structure of mathematical documents, Deliverable D1b of Project IST-2001-33562 MoWGLI,
http://www.mowgli.cs.unibo.it/
2. Lecture Notes in Computer Science;G. Bancerek,2003
3. Christian, J.: Flatterms, discrimination nets and fast term rewriting. Journal of Automated Reasoning 10, 95–113 (1993)
4. Lecture Notes in Computer Science;D. Delahaye,2000
5. Di Cosmo, R.: Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Design. Birkhäuser, Basel (1995)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献