Termination proofs and the length of derivations
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Proof-theoretic techniques for term rewriting theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Termination of rewriting systems by polynomial interpretations and its implementationScience of Computer Programming, 1987
- Termination of rewritingJournal of Symbolic Computation, 1987
- How to choose the weights in the Knuth Bendix orderingPublished by Springer Nature ,1987
- Simple Word Problems in Universal AlgebrasPublished by Springer Nature ,1983