Extension of the associative path ordering to a chain of associative commutative symbols
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 389-404
- https://doi.org/10.1007/3-540-56868-9_29
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Associative-commutative reduction orderingsInformation Processing Letters, 1992
- AC-Termination of rewrite systems: A modified Knuth-Bendix orderingPublished by Springer Nature ,1990
- Termination of rewriting systems by polynomial interpretations and its implementationScience of Computer Programming, 1987
- Commutation, transformation, and terminationPublished by Springer Nature ,1986
- Termination orderings for associative-commutative rewriting systemsJournal of Symbolic Computation, 1985