The variable hierarchy of the $mu$-calculus is strict

New York, NY / Springer (2007) [Fachzeitschriftenartikel]

Theory of computing systems
Band: 40
Ausgabe: 4
Seite(n): 437-466

Autorinnen und Autoren

Autorinnen und Autoren

Berwanger, Dietmar
Grädel, Erich
Lenzi, Giacomo

Identifikationsnummern