Iterative Lexicographic Path Orders

DOI10.1007/11780274_28MaRDI QIDQ5757933zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

Cited in

(7)

• Improving associative path orderings
• On equal -terms
• Recursive Path Orderings Can Also Be Incremental
• An improved general path order
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• A Higher-Order Iterative Path Ordering
• scientific article; zbMATH DE number 5585075 (Why is no real title available?)

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)