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

Grädel, Erich; Kaiser, Lukasz

Amsterdam : Amsterdam University Press (2007)
Contribution to a book, Contribution to a conference proceedings

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

Institutions

  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • Department of Mathematics [110000]

Identifier