Iterative Lexicographic Path Orders

DOI10.1007/11780274_28zbMATH Open1132.68430OpenAlexW1496191775MaRDI QIDQ5757933FDOQ5757933

Authors: Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer 

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_28

Recommendations

• A Higher-Order Iterative Path Ordering
• Predicative lexicographic path orders. An application of term rewriting to the region of primitive recursive functions
• On recursive path ordering
• A lexicographic path order with slow growing derivation bounds
• On the recursive decomposition ordering with lexicographical status and other related orderings

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (7)

• Improving associative path orderings
• On equal \(\mu \)-terms
• Recursive Path Orderings Can Also Be Incremental
• A Higher-Order Iterative Path Ordering
• An improved general path order
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Iterative Lexicographic Path Orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5757933)