Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games.

Dietmar Berwanger, Erich Grdel, Stephan Kreutzer

Browse the full LPAR paper archive.