Solving Counter Parity Games

Berwanger, Dietmar; Kaiser, Lukasz; Leßenich, Simon Robert

Berlin [u.a.] : Springer (2012)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27 - 31, 2012 ; proceedings / Branislav Rovan ... (eds.)
Seite(n)/Artikel-Nr.: 160-171

Einrichtungen

  • Fachgruppe Mathematik [110000]
  • Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]

Identifikationsnummern