On recursive path ordering
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3810909 (Why is no real title available?)
- scientific article; zbMATH DE number 3905845 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- On Proving Uniform Termination and Restricted Termination of Rewriting Systems
- Orderings for term-rewriting systems
Cited in
(25)- scientific article; zbMATH DE number 1223728 (Why is no real title available?)
- Practical algorithms for deciding path ordering constraint satisfaction.
- Quasi-interpretations. A way to control resources
- Open problems in rewriting
- scientific article; zbMATH DE number 3921961 (Why is no real title available?)
- The computability path ordering
- A Lambda-Free Higher-Order Recursive Path Order
- scientific article; zbMATH DE number 1405624 (Why is no real title available?)
- Orienting rewrite rules with the Knuth-Bendix order.
- Proving Termination with (Boolean) Satisfaction
- Simplification orderings: Putting them to the test
- On the complexity of recursive path orderings
- Maximal extensions of simplification orderings
- The size-change principle and dependency pairs for termination of term rewriting
- A Higher-Order Iterative Path Ordering
- SAT solving for termination proofs with recursive path orders and dependency pairs
- An improved general path order
- Improving associative path orderings
- Polymorphic higher-order recursive path orderings
- Termination of string rewriting proved automatically
- AC-KBO revisited
- Iterative Lexicographic Path Orders
- Recursive Path Orderings Can Also Be Incremental
- How to sort by walking and swapping on paths and trees
- The Computability Path Ordering: The End of a Quest
This page was built for publication: On recursive path ordering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082075)