Iterative Lexicographic Path Orders

J.W. Klop; V. van Oostrom; R.C. de Vrijer

Iterative Lexicographic Path Orders

J.W. Klop, V. van Oostrom, R.C. de Vrijer

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	541-554
Journal	Lecture Notes in Computer Science
Volume	4060
Publication status	Published - 2006

Bibliographical note

DBLP:conf/birthday/KlopOV06
Proceedings title: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Publisher: Springer
Editors: K. Futatsugi, J.-P. Jouannaud, J. Meseguer

Persistent URL (handle)

Copy link address

Cite this

@article{c358e4056b4f43c1aef944b042b0a8ee,

title = "Iterative Lexicographic Path Orders",

author = "J.W. Klop and {van Oostrom}, V. and {de Vrijer}, R.C.",

note = "DBLP:conf/birthday/KlopOV06 Proceedings title: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Publisher: Springer Editors: K. Futatsugi, J.-P. Jouannaud, J. Meseguer",

year = "2006",

language = "English",

volume = "4060",

pages = "541--554",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Iterative Lexicographic Path Orders

AU - Klop, J.W.

AU - van Oostrom, V.

AU - de Vrijer, R.C.

N1 - DBLP:conf/birthday/KlopOV06 Proceedings title: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Publisher: Springer Editors: K. Futatsugi, J.-P. Jouannaud, J. Meseguer

PY - 2006

Y1 - 2006

M3 - Article

SN - 0302-9743

VL - 4060

SP - 541

EP - 554

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -