Author:
Martín-Mateos Francisco Jesús,Ruiz-Reina José Luis,Alonso José Antonio,Hidalgo María José
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference20 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
2. LNCS;S Berghofer,2004
3. Coquand, T., Fridlender, D.: A proof of Higman’s lemma by structural induction. Unpublished draft, available at http://www.brics.dk/~daniel/texts/open.ps (1993)
4. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8), 465–476 (1979)
5. Fridlender, D.: Higman’s Lemma in Type Theory. Ph.D. thesis, University of Göteborg (1997)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献