A Higher-Order Iterative Path Ordering

DOI10.1007/978-3-540-89439-1_48zbMath1182.68096OpenAlexW1546804799MaRDI QIDQ5505590

Cynthia Kop, Femke van Raamsdonk

Publication date: 27 January 2009

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

Full work available at URL: https://research.vu.nl/en/publications/f6510627-4428-41ff-8ade-35a82a8328e6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Unnamed Item, A Lambda-Free Higher-Order Recursive Path Order, A Knuth-Bendix-like ordering for orienting combinator equations