@inproceedings{cichon:inria-00099238, TITLE = {{The Light Lexicographic path Ordering}}, AUTHOR = {Cichon, Adam and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00099238}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{Workshop RULE'2000}}, ADDRESS = {Montr{\'e}al, Canada}, HAL_LOCAL_REFERENCE = {A00-R-327 || cichon00a}, PAGES = {17 p}, YEAR = {2000}, MONTH = Sep, KEYWORDS = {ordre de terminaison ; termination ordering ; implicit complexity ; complexit{\'e} implicite ; poly-space}, HAL_ID = {inria-00099238}, HAL_VERSION = {v1}, }