Skip to content

Transfinite Extension of the Mu-Calculus.

Julian C. Bradfield, Jacques Duparc, Sandra Quickert

VenueBCSL
Year2005
ProceedingsCSL

Browse the full CSL paper archive.