Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference26 articles.
1. Arts, T. and Giesl, J.: Termination of term rewriting using dependency pairs, Theoret. Comput. Sci. 236 (2000), 133–178.
2. Ben-Cherifa, A. and Lescanne, P.: Termination of rewriting systems by polynomial interpretations and its implementation, Sci. Comput. Programming 9 (1987), 137–159.
3. Contejean, E., Marché, C., Monate, B. and Urbain, X.: The CiME rewrite tool, available at http://cime.lri.fr/.
4. Lecture Notes in Comput. Sci.;N. Dershowitz,1981
5. Dershowitz, N.: Orderings for term-rewriting systems, Theoret. Comput. Sci. 17 (1982), 279–301.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献