@article{marion:inria-00099505, TITLE = {{Analysing the implicit complexity of programs}}, AUTHOR = {Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00099505}, NOTE = {International Workshop on Implicit Computational Complexity - ICC'99. Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Information and Computation}}, HAL_LOCAL_REFERENCE = {A00-R-326 || marion00c}, PUBLISHER = {{Elsevier}}, VOLUME = {183}, PAGES = {2-18}, YEAR = {2003}, KEYWORDS = {termination ordering complexity ptime ; terminaison ordre complexit{\'e} ptime}, HAL_ID = {inria-00099505}, HAL_VERSION = {v1}, }