102
Voted
CADE
2006
Springer
16 years 17 days ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...