The Complexity of Enriched µ-Calculi

Cite this paper

@inproceedings{Bonatti2006TheCO, title={The Complexity of Enriched µ-Calculi}, author={Piero A. Bonatti and Carsten Lutz and Aniello Murano and Moshe Y. Vardi}, booktitle={ICALP}, year={2006} }