@inproceedings{moyen:inria-00100525, TITLE = {{System presentation: An analyser of rewriting system complexity}}, AUTHOR = {Moyen, Jean-Yves}, URL = {https://inria.hal.science/inria-00100525}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{Second International Workshop on Rule-Based Programming - RULE'01}}, ADDRESS = {Firenze, Italy}, ORGANIZATION = {{Universit{\'e} de Florence}}, HAL_LOCAL_REFERENCE = {A01-R-196 || moyen01a}, EDITOR = {Mark van der Brand}, PUBLISHER = {{Elsevier}}, SERIES = {Electronic Notes in Theoretical Computer Science}, VOLUME = {59/4}, NUMBER = {4}, PAGES = {7 p}, YEAR = {2001}, KEYWORDS = {syst{\`e}mes de r{\'e}{\'e}criture ; rewriting system ; complexity analysis ; termination ordering ; analyse de la complexit{\'e} ; ordre de terminaison ; quasi-interpr{\'e}tation}, HAL_ID = {inria-00100525}, HAL_VERSION = {v1}, }