Tree automata techniques and applications

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Decidability of second-order theories and automata on infinite trees.

Michael O. Rabin · Transactions of the American Mathematical Society · 1969 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +13

Generalized finite automata theory with an application to a decision problem of second-order logic

J. W. Thatcher, Jesse B. Wright · Theory of Computing Systems · 1968 · 737 citations

Computing, Computer Science, Mathematics +9

An automata-theoretic approach to branching-time model checking

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper · Journal of the ACM · 2000 · 616 citations · Full text

Computing, Computer Science, Algorithms +16

Tree acceptors and some of their applications

John Doner · Journal of Computer and System Sciences · 1970 · 494 citations

Natural Resources, Forestry, Forest Mensuration +4