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
- DOI: 10.1007/s00224-006-1317-8
- REPORT NUMBER: RWTH-CONV-063361