@article{bonfante:inria-00100819, TITLE = {{Algorithms with Polynomial Interpretation Termination Proof}}, AUTHOR = {Bonfante, Guillaume and Cichon, Adam and Marion, Jean-Yves and Touzet, Helene}, URL = {https://inria.hal.science/inria-00100819}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture. internationale.}, JOURNAL = {{Journal of Functional Programming}}, HAL_LOCAL_REFERENCE = {A00-R-369 || bonfante00d}, PUBLISHER = {{Cambridge University Press (CUP)}}, VOLUME = {11}, NUMBER = {1}, PAGES = {33-53}, YEAR = {2001}, KEYWORDS = {complexity ; r{\'e}{\'e}criture ; polynomial interpretation ; interpr{\'e}tation polynomiale ; complexit{\'e} ; rewriting system}, HAL_ID = {inria-00100819}, HAL_VERSION = {v1}, }