Recent Results on the Modal $\mu$-Calculus: a Survey
Lenzi, Giacomo
2010
Abstract
Some theory of Modal $\mu$-calculus is surveyed, with special emphasis on recent results.
Archivio
Diritti
open access
Soggetti