Skip to content

On closure ordinals for the modal mu-calculus.

Bahareh Afshari, Graham E. Leigh

VenueBCSL
Year2013
ProceedingsCSL

Browse the full CSL paper archive.