Author:
Koprowski Adam,Zantema Hans
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. The termination competition, http://www.lri.fr/~marche/termination-competition
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Cherifa, A.B., Lescanne, P.: Termination of rewriting systems by polynomial interpretations and its implementation. Sci. Comput. Program. 9(2), 137–159 (1987)
4. Lecture Notes in Computer Science;P.-L. Curien,1992
5. Dershowitz, N.: Orderings for term-rewriting systems. Theor. Comput. Sci. 17, 279–301 (1982)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献