@inproceedings{bonfante:inria-00099196, TITLE = {{Complexity characterisation of restrictions of KBO}}, AUTHOR = {Bonfante, Guillaume}, URL = {https://inria.hal.science/inria-00099196}, NOTE = {Workshop affili{\'e} {\`a} LICS. Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{Implicit computational complexity}}, ADDRESS = {Santa Barbara, US}, ORGANIZATION = {{J.Y. Marion}}, HAL_LOCAL_REFERENCE = {A00-R-381 || bonfante00c}, PAGES = {12}, YEAR = {2000}, MONTH = May, KEYWORDS = {etime ; ordres de terminaison ; termination orderings ; kbo ; linspace ; etime.}, HAL_ID = {inria-00099196}, HAL_VERSION = {v1}, }