M | |
---|---|
[MS85] | David E. Muller et 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. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1