Iterative Lexicographic Path Orders

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Editors	K. Futatsugi, J.P. Jouannaud
Place of Publication	Berlin / Heidelberg
Publisher	Springer
Pages	541-554
Number of pages	14
Publication status	Published - 2006

Cite this

@inproceedings{3ea2d29633654838875e768650118420,

title = "Iterative Lexicographic Path Orders",

author = "\{van Oostrom\}, V.",

year = "2006",

language = "Undefined/Unknown",

pages = "541--554",

editor = "K. Futatsugi and J.P. Jouannaud",

booktitle = "Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday",

publisher = "Springer",

}