Iterative lexicographic path orders
pp. 541-554
Abstrakt
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
Published in:
Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.
Seiten: 541-554
DOI: 10.1007/11780274_28
Referenz:
van Oostrom Vincent, de Vrijer Roel (2006) „Iterative lexicographic path orders“, In: K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, 541–554.