Defining Winning Strategies in Fixed-Point Logic

Piscataway, NJ / IEEE (2015) [Buchbeitrag, Beitrag zu einem Tagungsband]

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) : Kyoto, Japan, 6 - 10 July 2015

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Canavoi, Felix
Grädel, Erich
Leßenich, Simon Robert
Pakusa, Wied

Identifikationsnummern