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]

Authors

Erich Grädel

This author has not been identified. Look up 'Erich Grädel' in Google

Igor Walukiewicz

This author has not been identified. Look up 'Igor Walukiewicz' in Google