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
- RWTH PUBLICATIONS: RWTH-CONV-196987