Definability in Games

Grädel, Erich (Author)

Berlin [u.a.] / Springer (2010) [Buchbeitrag, Beitrag zu einem Tagungsband]

Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings / Anuj Dawar; Helmut Veith [eds.)
Seite(n): 19-21

Identifikationsnummern