Topics in termination
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 198-212
- https://doi.org/10.1007/3-540-56868-9_16
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- On the recursive decomposition ordering with lexicographical status and other related orderingsJournal of Automated Reasoning, 1990
- Termination of rewriting systems by polynomial interpretations and its implementationScience of Computer Programming, 1987
- Termination of rewritingJournal of Symbolic Computation, 1987
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- Decision procedures for real and p‐adic fieldsCommunications on Pure and Applied Mathematics, 1969
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969