Tree Automata and Automata on Linear Orderings
, and
RAIRO-Theor. Inf. Appl., 43 2 (2009) 321-338
Published online: 03 April 2009
DOI: 10.1051/ita/2009009
