The Variable Hierarchy of the μ-Calculus Is Strict

Berwanger, Dietmar; Lenzi, Giacomo

Heidelberg [u.a.] : Springer (2005)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings / STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 / Volker Diekert; Bruno Durand (eds.
Seite(n)/Artikel-Nr.: 97-109

Einrichtungen

  • Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
  • Fachgruppe Mathematik [110000]

Identifikationsnummern