Options
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.
Series
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010)
Publisher
EUT Edizioni Università di Trieste
Source
Giacomo Lenzi, "Recent Results on the Modal $\mu$-Calculus: a Survey", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 42 (2010), pp. 235-255.
Languages
en
File(s)