The Descriptive Complexity of Parity Games

Dawar, Anuj; Grädel, Erich

Berlin [u.a.] : Springer (2008)
Contribution to a book, Contribution to a conference proceedings

In: Computer science logic : 22nd international workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 ; proceedings / Michael Kaminski; Simone Martini (eds.)
Page(s)/Article-Nr.: 354-368

Institutions

  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • Department of Mathematics [110000]

Identifier