Positional Determinacy of Games with Infinitely Many Priorities

Erich Grädel, Igor Walukiewicz. Positional Determinacy of Games with Infinitely Many Priorities. Logical Methods in Computer Science, 2(4), 2006. [doi]

Abstract

Abstract is missing.