On the recursive decomposition ordering with lexicographical status and other related orderings
- 1 March 1990
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 6 (1) , 39-49
- https://doi.org/10.1007/bf00302640
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Deduction and computationPublished by Springer Nature ,2005
- Path of subterms ordering and recursive decomposition ordering revisitedJournal of Symbolic Computation, 1987
- Termination of rewritingJournal of Symbolic Computation, 1987
- On word problems in equational theoriesPublished by Springer Nature ,1987
- A path ordering for proving termination of term rewriting systemsPublished by Springer Nature ,1985
- Computer experiments with the REVE term rewriting system generatorPublished by Association for Computing Machinery (ACM) ,1983
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Ordering by Divisibility in Abstract AlgebrasProceedings of the London Mathematical Society, 1952