@inproceedings{degroote:inria-00100081, TITLE = {{Vector Addition Tree Automata}}, AUTHOR = {de Groote, Philippe and Guillaume, Bruno and Salvati, Sylvain}, URL = {https://inria.hal.science/inria-00100081}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{19th Annual IEEE Symposium on Logic in Computer Science - LICS'04}}, ADDRESS = {Turku, Finland, France}, HAL_LOCAL_REFERENCE = {A04-R-344 || de\_groote04a}, PAGES = {64-73}, YEAR = {2004}, KEYWORDS = {tree automata ; linear logic ; automate d'arbre ; logique lin{\'e}aire}, HAL_ID = {inria-00100081}, HAL_VERSION = {v1}, }