Cut-elimination for the mu-calculus with one variable

TitleCut-elimination for the mu-calculus with one variable
Publication TypeConference Paper
Year of Publication2012
AuthorsMints, G, Studer, T
Conference NameFixed Points in Computer Science 2012
Pagination47-54
PublisherOpen Publishing Association
URLhttp://www.iam.unibe.ch/ltgpub/2012/ms12.pdf