Tree automata techniques and applications. Draft book; available electronically on http://www.grappa.univlille3.fr/tata (2008)

by H Comon, M Dauchet, R Gilleron, F Jacquemard, D Lugiez, S Tison, M Tommasi