Justifying induction on modal mu-formulae

TitleJustifying induction on modal mu-formulae
Publication TypeMaster's Thesis
2009
AuthorsKrähenbühl, J
http://www.iam.unibe.ch/ltgpub/2009/kra09.pdf