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

Amsterdam / Amsterdam University Press (2007) [Contribution to a conference proceedings]

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

Authors

Selected Authors

Grädel, Erich
Kaiser, Lukasz

Identifier

  • REPORT NUMBER: RWTH-CONV-196987