@inproceedings{bonfante:inria-00100099, TITLE = {{On complexity analysis by quasi-interpretation}}, AUTHOR = {Bonfante, Guillaume and Marion, Jean-Yves and Moyen, Jean-Yves}, URL = {https://inria.hal.science/inria-00100099}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{2nd Appsem II workshop - APPSEM'04}}, ADDRESS = {Tallinn, Estonia}, HAL_LOCAL_REFERENCE = {A04-R-355 || bonfante04b}, PAGES = {85-95}, YEAR = {2004}, KEYWORDS = {quasi-interpr{\'e}tation ; termination ; complexity ; terminaison ; complexit{\'e} ; ressource ; qsl}, HAL_ID = {inria-00100099}, HAL_VERSION = {v1}, }