Alternating automata on infinite objects, determinacy and Rabin's theorem
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982