Tree automata techniques and applications. Draft book; http://www.grappa.univlille3.fr/tata (0)

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