@inproceedings{bonfante:inria-00100523, TITLE = {{On lexicographic termination ordering with space bound certifications}}, AUTHOR = {Bonfante, Guillaume and Marion, Jean-Yves and Moyen, Jean-Yves}, URL = {https://inria.hal.science/inria-00100523}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{International Andrei Ershov Memorial Conference - PSI'01}}, ADDRESS = {Novosibirsk, Russia}, HAL_LOCAL_REFERENCE = {A01-R-187 || bonfante01a}, EDITOR = {D. Bjorner and M. Broy and A. Zamulin}, PUBLISHER = {{Springer}}, SERIES = {Lecture notes in Computer Science}, VOLUME = {2244}, PAGES = {482-493}, YEAR = {2001}, KEYWORDS = {polynomial space certification ; lexicographic path ordering ; espace polynomial ; certification}, HAL_ID = {inria-00100523}, HAL_VERSION = {v1}, }