Banach-Mazur Games with Simple Winning Strategies

Dagstuhl, Germany / Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (2012) [Beitrag zu einem Tagungsband]

Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich
Lessenich, Simon