Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
We relate Kamin and Lévy's original presentation of lexicographic path orders (LPO), using an inductive definition, to a presentation, which we will refer to as iterative lexicographic path orders (ILPO), based on Bergstra and Klop's definition of recursive path orders by way of an auxiliary term rewriting sytem.
Publication details
DOI: 10.1007/11780274_28
Full citation:
van Oostrom, V. , de Vrijer, R. (2006)., Iterative lexicographic path orders, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 541-554.
This document is unfortunately not available for download at the moment.