@inproceedings{marion:inria-00110364, TITLE = {{Resource Analysis by Quasi-Interpretations}}, AUTHOR = {Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00110364}, NOTE = {Colloque sur invitation . internationale.}, BOOKTITLE = {{Sixth International Workshop on Logic and Computational Complexity}}, ADDRESS = {Turku, Finlande}, ORGANIZATION = {{Neil Jones}}, HAL_LOCAL_REFERENCE = {A04-R-349 || marion04b}, PAGES = {95 p.}, YEAR = {2004}, KEYWORDS = {logic ; complexit{\'e} ; complexity ; logique}, HAL_ID = {inria-00110364}, HAL_VERSION = {v1}, }