@InProceedings{   KustersWilke:FSTTCS:2002,
  Author        = {K{\"u}sters, Ralf and Wilke, Thomas},
  Editor        = "Agrawal, Manindra and Seth, Anil",
  Abstract      = "We show that the following problem is decidable and complete for deterministic exponential time. Given a formula of modal $\mu$- calculus, determine if the formula is equivalent to a formula without greatest fixed point operators. In other words, we show that the first level of the $\mu$-calculus fixed point alternation hierarchy is decidable in deterministic exponential time.",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of FSTTCS'02",
  date-added    = "2020-08-11 12:22:57 +0200",
  date-modified = "2020-08-11 12:23:30 +0200",
  ISBN          = "978-3-540-36206-7",
  Pages         = "241--252",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "Deciding the First Level of the $\mu$-Calculus Alternation Hierarchy",
  Year          = "2002",
  File          = "Deciding the First Level of the {$\mu$}-Calculus Alternation Hierarchy - Küsters-Wilke2002\_Chapter\_DecidingTheFirstLevelOfTheΜ-Ca - a - a - k.pdf"
}

@InProceedings{ KustersWilke:FSTTCS:2002, Author = {K{\"u}sters, Ralf and Wilke, Thomas}, Editor = "Agrawal, Manindra and Seth, Anil", Abstract = "We show that the following problem is decidable and complete for deterministic exponential time. Given a formula of modal $\mu$- calculus, determine if the formula is equivalent to a formula without greatest fixed point operators. In other words, we show that the first level of the $\mu$-calculus fixed point alternation hierarchy is decidable in deterministic exponential time.", Address = "Berlin, Heidelberg", BookTitle = "Proc. of FSTTCS'02", date-added = "2020-08-11 12:22:57 +0200", date-modified = "2020-08-11 12:23:30 +0200", ISBN = "978-3-540-36206-7", Pages = "241--252", Publisher = "Springer Berlin Heidelberg", Title = "Deciding the First Level of the $\mu$-Calculus Alternation Hierarchy", Year = "2002", File = "Deciding the First Level of the {$\mu$}-Calculus Alternation Hierarchy - Küsters-Wilke2002_Chapter_DecidingTheFirstLevelOfTheΜ-Ca - a - a - k.pdf" }