A syntactical treatment of simultaneous fixpoints in the modal $μ$-calculus
| Title | A syntactical treatment of simultaneous fixpoints in the modal $μ$-calculus |
| Publication Type | Unpublished |
| Year of Publication | Submitted |
| Authors | Alberucci, L |
| URL | http://www.iam.unibe.ch/ltgpub/submitted/alb08.pdf |
| Citation Key | alb08 |
