Author:
Wang Qing,Ferrarotti Flavio A.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Lecture Notes in Computer Science;A. Blass,2000
2. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
3. Büchi, J.R.: Weak second-order arithmetic and finite automata. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 6(1-6), 66–92 (1960)
4. Comon, H., Dauchet, M., Gilleron, R., Löding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications (2007),
http://www.grappa.univ-lille3.fr/tata
(release, October 2007)
5. Doner, J.: Tree acceptors and some of their applications. Journal of Computer and Systems Science 4(5), 406–451 (1970)