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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Klop, J. W., Van Oostrom, V., & De Vrijer, R. (2006). Iterative lexicographic path orders. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4060 LNCS, pp. 541–554). Springer Verlag. https://doi.org/10.1007/11780274_28
Mendeley helps you to discover research relevant for your work.