Iterative Lexicographic Path Orders

DOI10.1007/11780274_28zbMath1132.68430OpenAlexW1496191775MaRDI QIDQ5757933

Vincent van Oostrom, Roel de Vrijer, Jan Willem Klop

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)

Related Items (2)

Unnamed Item ⋮ On equal \(\mu \)-terms

This page was built for publication: Iterative Lexicographic Path Orders