@inproceedings{touzet:inria-00098575, TITLE = {{Encoding the Hydra battle as a rewrite system}}, AUTHOR = {Touzet, H{\'e}l{\`e}ne}, URL = {https://inria.hal.science/inria-00098575}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{International Symposium on the Mathematical Foundations of Computer Science - MFCS'98}}, ADDRESS = {Brno, Czech Republic}, HAL_LOCAL_REFERENCE = {98-R-079 || touzet98b}, EDITOR = {Lubos Brim and Jozef Gruska and Jiri Zlatuska}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {1450}, PAGES = {267-276}, YEAR = {1998}, MONTH = Aug, KEYWORDS = {termination ; rewriting ; r{\'e}{\'e}criture ; combinatoire ; combinatorics ; terminaison}, HAL_ID = {inria-00098575}, HAL_VERSION = {v1}, }