Author of the publication

Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity.

, , and . ICALP, volume 226 of Lecture Notes in Computer Science, page 275-283. Springer, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems, and . STOC, page 46-54. ACM, (1981)Generation of Near-Optimal Universal Boolean Functions., and . J. Comput. Syst. Sci., 4 (2): 93-102 (1970)Alternating automata on infinite objects, determinacy and Rabin's theorem., and . Automata on Infinite Words, volume 192 of Lecture Notes in Computer Science, page 100-107. Springer, (1984)Reversibility in monadic algebras and automata, and . SWCT, page 242-247. IEEE Computer Society, (1965)Infinite sequences and finite machines. SWCT, page 3-16. IEEE Computer Society, (1963)On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory., , and . ICCI, page 2-5. IEEE Computer Society, (1992)Use of Multiple Index Matrices in Generalized Automata Theory. SWAT, page 395-404. IEEE Computer Society, (1968)Toward a switching theory of CMOS circuits., and . FJCC, page 347-348. ACM, (1987)A Method for Factoring the Action of Asynchronous Circuits, and . SWCT, page 246-249. IEEE Computer Society, (1960)Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity., , and . ICALP, volume 226 of Lecture Notes in Computer Science, page 275-283. Springer, (1986)