The Descriptive Complexity of Parity Games

Anuj Dawar, Erich Grädel. The Descriptive Complexity of Parity Games. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 354-368, Springer, 2008. [doi]

Authors

Anuj Dawar

This author has not been identified. Look up 'Anuj Dawar' in Google

Erich Grädel

This author has not been identified. Look up 'Erich Grädel' in Google