@article{cichon:inria-00098439, TITLE = {{Ordinal recursive bounds for Higman's theorem}}, AUTHOR = {Cichon, Adam and Tahhan-Bittar, Elias}, URL = {https://inria.hal.science/inria-00098439}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Theoretical Computer Science}}, HAL_LOCAL_REFERENCE = {98-R-200 || cichon98a}, PUBLISHER = {{Elsevier}}, VOLUME = {201}, NUMBER = {1-2}, PAGES = {63-84}, YEAR = {1998}, DOI = {10.1016/S0304-3975(97)00009-1}, KEYWORDS = {Higman's Theorem ; Ordinal Recursion}, HAL_ID = {inria-00098439}, HAL_VERSION = {v1}, }