@techreport{marion:inria-00098563, TITLE = {{An hierarchy of terminating algorithms with semantic interpretation termination proofs}}, AUTHOR = {Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00098563}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {98-R-273 || marion98a}, PAGES = {17 p}, YEAR = {1998}, KEYWORDS = {rewriting polynomial-interpretations computational-complexity ; r{\'e}{\'e}criture interpr{\'e}tation-polynomiale complexit{\'e}-en-temps}, HAL_ID = {inria-00098563}, HAL_VERSION = {v1}, }