@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"
}

@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 badge