Simplification orderings: Putting them to the test
From MaRDI portal
Publication:1311404
DOI10.1007/BF00881798zbMath0788.68081OpenAlexW2079442059MaRDI QIDQ1311404
Publication date: 13 January 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00881798
simplification orderingsreduction orderingdecomposition orderingspath orderingstermination of term rewriting systems
Related Items
Cites Work
- Orderings for term-rewriting systems
- On the recursive decomposition ordering with lexicographical status and other related orderings
- On recursive path ordering
- Termination of rewriting
- Path of subterms ordering and recursive decomposition ordering revisited
- Simplification orderings: Putting them to the test
- Unnamed Item
- Unnamed Item