Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;T. Arts,1998
2. Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236, 133–178 (2000)
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
4. CiME 2 (1999), Pre-release at http://www.lri.fr/~demons/cime-2.0.html
5. Lecture Notes in Computer Science;D. Detlefs,1985
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献