M | |
---|---|
[MS85] | David E. Muller and Paul E. Schupp. Alternating automata on infinite objects, determinacy and Rabin's theorem. In EPIT'84, Lecture Notes in Computer Science 192, pages 99-107. Springer-Verlag, 1985. |
Search
Displayed 1 resultList of authors
- 1
- 1