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