Strictness of the modal $μ$-calculus hierarchy

TitleStrictness of the modal $μ$-calculus hierarchy
Publication TypeConference Paper
Year of Publication2002
AuthorsAlberucci, L
EditorGrädel, E, Thomas, W, Wilke, T
Conference NameAutomata, Logics and infinite Games: A Guide to Current Research
Pagination185-201
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2002/alb02b.ps