Vector Addition Tree Automata.

Philippe de Groote, Bruno Guillaume, Sylvain Salvati

Browse the full LICS paper archive.