@InProceedings{ DBLP:conf/lpar/BerwangerGK03,
Author = {Berwanger, Dietmar and Gr{\"a}del, Erich and Kreutzer, Stephan},
bibsource = "DBLP, http://dblp.uni-trier.de",
BookTitle = "LPAR",
date-added = "2012-05-22 11:04:27 +0200",
date-modified = "2012-05-23 07:20:46 +0200",
ee = "http://dx.doi.org/10.1007/978-3-540-39813-4\_16",
Keywords = "Banach-Mazur games and path games",
Pages = "229-243",
Title = "Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games",
Year = "2003",
bdsk-url-1 = "http://www.springerlink.com/content/tg9fg4pv2e926gw5/",
File = "Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games - Berwanger, Grädel, Kreutzer (0) (0) - a - a - v.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A