A precedence-based total AC-compatible ordering
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 374-388
- https://doi.org/10.1007/3-540-56868-9_28
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- SOLVING SYMBOLIC ORDERING CONSTRAINTSInternational Journal of Foundations of Computer Science, 1990
- Termination of rewriting systems by polynomial interpretations and its implementationScience of Computer Programming, 1987
- Termination of rewritingJournal of Symbolic Computation, 1987
- Termination orderings for associative-commutative rewriting systemsJournal of Symbolic Computation, 1985