Alternating tree automata
Open Access
- 31 December 1985
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 41, 305-318
- https://doi.org/10.1016/0304-3975(85)90077-5
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Parallel and two-way automata on directed ordered acyclic graphsInformation and Control, 1981
- AlternationJournal of the ACM, 1981
- Complexity of Boolean algebrasTheoretical Computer Science, 1980
- Tree transducers, L systems, and two-way machinesJournal of Computer and System Sciences, 1980
- Classes of Pebble Games and Complete ProblemsSIAM Journal on Computing, 1979
- Provably Difficult Combinatorial GamesSIAM Journal on Computing, 1979
- Bottom-up and top-down tree transformations— a comparisonTheory of Computing Systems, 1975
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968