@inproceedings{touzet:inria-00098574, TITLE = {{A complex example of a simplifying rewrite system}}, AUTHOR = {Touzet, H{\'e}l{\`e}ne}, URL = {https://inria.hal.science/inria-00098574}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{International Colloquium on Automata, Languages, and Programming - ICALP'98}}, ADDRESS = {Aalborg, Denmark}, HAL_LOCAL_REFERENCE = {98-R-078 || touzet98a}, EDITOR = {Kim G. Larsen and Sven Skyum and Glynn Winskel}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {1443}, PAGES = {507-517}, YEAR = {1998}, MONTH = Jul, KEYWORDS = {Complexity ; rewriting ; r{\'e}{\'e}criture ; Kruskalty ; Kruskal ; complexit{\'e}}, HAL_ID = {inria-00098574}, HAL_VERSION = {v1}, }