Skip to main content

1985 | ReviewPaper | Buchkapitel

Alternating automata on infinite objects, determinacy and Rabin's theorem

verfasst von : David Muller, Paul E. Schupp

Erschienen in: Automata on Infinite Words

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …
Metadaten
Titel
Alternating automata on infinite objects, determinacy and Rabin's theorem
verfasst von
David Muller
Paul E. Schupp
Copyright-Jahr
1985
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/3-540-15641-0_27