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
Identifikationsnummern
- DOI: 10.1007/978-3-540-31856-9_8
- RWTH PUBLICATIONS: RWTH-CONV-198762