On closure ordinals for the modal mu-calculus

Bahareh Afshari, Graham E. Leigh. On closure ordinals for the modal mu-calculus. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 30-44, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Authors

Bahareh Afshari

This author has not been identified. Look up 'Bahareh Afshari' in Google

Graham E. Leigh

This author has not been identified. Look up 'Graham E. Leigh' in Google