The Variable Hierarchy of the μ-Calculus Is Strict

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

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): 97-109

Autorinnen und Autoren

Autorinnen und Autoren

Berwanger, Dietmar
Lenzi, Giacomo

Identifikationsnummern