Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference15 articles.
1. Associative-commutative reduction orderings;Bachmair;Inform. Process. Lett.,1992
2. Termination of rewriting systems by polynomial interpretations and its implementation;Ben-Cherifa;Sci. Comput. Program.,1987
3. Termination orderings for associative-commutative rewriting systems;Bachmair;J. Symbolic Comput.,1985
4. Comon, H., Nieuwenhuis, R., and Rubio, A.1995, Orderings, AC-theories and symbolic constraint solving, in10th Annual IEEE Symp. on Logic in Computer Science, San Diego, pp. 375–385, IEEE Comput. Society Press, Los Alamitos, CA.
5. Orderings for term-rewriting systems;Dershowitz;Theoret. Comput. Sci.,1982
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献