@inproceedings{bonfante:inria-00000660, TITLE = {{Synthesis of Quasi-interpretations}}, AUTHOR = {Bonfante, Guillaume and Marion, Jean-Yves and Moyen, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/inria-00000660}, BOOKTITLE = {{Seventh International Workshop on Logic and Computational Complexity - LCC 2005}}, ADDRESS = {Chicago/USA}, YEAR = {2005}, MONTH = Jun, KEYWORDS = {Complexity ; quasi-interpretation ; synthesis problem}, PDF = {https://inria.hal.science/inria-00000660/file/LCC05.pdf}, HAL_ID = {inria-00000660}, HAL_VERSION = {v1}, }