D | |
---|---|
[DG08] | Anuj Dawar et Erich Grädel. The Descriptive Complexity of Parity Games. In CSL'08, Lecture Notes in Computer Science 5213, pages 354-368. Springer-Verlag, septembre 2008. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
D | |
---|---|
[DG08] | Anuj Dawar et Erich Grädel. The Descriptive Complexity of Parity Games. In CSL'08, Lecture Notes in Computer Science 5213, pages 354-368. Springer-Verlag, septembre 2008. |