Automata Logics, and Infinite Games - A Guide to Current Research

cover

@Book{            AutomataLogicsInfiniteGames:2002,
  Editor        = "Gradel, Erich and Thomas, Wolfgang and Wilke, Thomas",
  date-added    = "2021-02-12 08:06:34 +0100",
  date-modified = "2021-02-12 08:06:52 +0100",
  doii          = "10.1007/3-540-36387-4",
  ISBN          = "978-3-540-00388-5",
  Keywords      = "automata theory and game theory and monadic second-order logic",
  Publisher     = "Springer",
  Title         = "Automata Logics, and Infinite Games - A Guide to Current Research",
  Year          = "2002",
  File          = "Automata Logics, and Infinite Games - A Guide to Current Research - AAVV (0) (0) - a - a.pdf"
}

@Book{ AutomataLogicsInfiniteGames:2002, Editor = "Gradel, Erich and Thomas, Wolfgang and Wilke, Thomas", date-added = "2021-02-12 08:06:34 +0100", date-modified = "2021-02-12 08:06:52 +0100", doii = "10.1007/3-540-36387-4", ISBN = "978-3-540-00388-5", Keywords = "automata theory and game theory and monadic second-order logic", Publisher = "Springer", Title = "Automata Logics, and Infinite Games - A Guide to Current Research", Year = "2002", File = "Automata Logics, and Infinite Games - A Guide to Current Research - AAVV (0) (0) - a - a.pdf" }