Recursive Path Orderings Can Also Be Incremental

DOI10.1007/11591191_17MaRDI QIDQ5387842zbMATH OpenOpenAlexFDO

Authors Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11591191_17

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• On recursive path ordering
• scientific article; zbMATH DE number 2090310
• A Higher-Order Iterative Path Ordering
• Iterative Lexicographic Path Orders
• On the complexity of recursive path orderings
• Certified Higher-Order Recursive Path Ordering
• scientific article; zbMATH DE number 3926235
• Polymorphic higher-order recursive path orderings
• scientific article; zbMATH DE number 3921960
• A Lambda-Free Higher-Order Recursive Path Order

Cited in

(6)

• An improved general path order
• An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
• Polymorphic higher-order recursive path orderings
• scientific article; zbMATH DE number 5585075 (Why is no real title available?)
• A Higher-Order Iterative Path Ordering
• Improving associative path orderings

This page was built for publication: Recursive Path Orderings Can Also Be Incremental

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