A syntactical treatment of simultaneous fixpoints in the modal $μ$-calculus

TitleA syntactical treatment of simultaneous fixpoints in the modal $μ$-calculus
Publication TypeTechnical Reports
Year of Publication2007
AuthorsAlberucci, L
URLhttp://www.iam.unibe.ch/ltgpub/2007/alb07.pdf