What kind of memory is needed to win infinitary Muller games?

Amsterdam / Amsterdam University Press (2007) [Beitrag zu einem Tagungsband]

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe
Seite(n): 89-116

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Kaiser, Lukasz

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-196987