A path ordering for proving termination of AC rewrite systems
暂无分享,去创建一个
[1] Joachim Steinbach,et al. Improving Assoviative Path Orderings , 1990, CADE.
[2] J. Hullot. A Catalogue of Canonical Term Rewriting Systems. , 1980 .
[3] Mark E. Stickel,et al. Complete Sets of Reductions for Some Equational Theories , 1981, JACM.
[4] Donald E. Knuth,et al. Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research. , 1970 .
[5] Isabelle Gnaedig,et al. Proving Termination of Associative Commutative Rewriting Systems by Rewriting , 1986, CADE.
[6] Joachim Steinbach,et al. Extensions and Comparison of Simplification Orderings , 1989, RTA.
[7] Jean-Pierre Jouannaud,et al. Recursive Decomposition Ordering , 1982, Formal Description of Programming Concepts.
[8] Pierre Lescanne,et al. On the recursive decomposition ordering with lexicographical status and other related orderings , 1990, Journal of Automated Reasoning.
[9] Nachum Dershowitz,et al. Commutation, Transformation, and Termination , 1986, CADE.
[10] Laurence Puel,et al. Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols , 1993, RTA.
[11] LEO BACHMAIR,et al. Termination Orderings for Associative-Commutative Rewriting Systems , 1985, J. Symb. Comput..
[12] Leo Bachmair. Associative-Commutative Reduction Orderings , 1992, Inf. Process. Lett..
[13] Nachum Dershowitz,et al. Termination of Rewriting , 1987, J. Symb. Comput..
[14] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[15] Deepak Kapur,et al. RRL: A Rewrite Rule Laboratory , 1986, CADE.
[16] Paliath Narendran,et al. A Path Ordering for Proving Termination of Term Rewriting Systems , 1985, TAPSOFT, Vol.1.
[17] Pierre Lescanne,et al. Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation , 1987, Sci. Comput. Program..
[18] Deepak Kapur,et al. Unnecessary inferences in associative-commutative completion procedures , 1990, Mathematical systems theory.
[19] Pierre Lescanne,et al. Some Properties of Decomposition Ordering, a Simplification Ordering to Prove Termination of Rewriting Systems , 1982, RAIRO Theor. Informatics Appl..
[20] Albert Rubio,et al. A Precedence-Based Total AC-Compatible Ordering , 1993, RTA.