Skip to content

The Modal mu-calculus Alternation Hierarchy is Strict.

Julian C. Bradfield

VenueBCONCUR
Year1996
ProceedingsCONCUR

Browse the full CONCUR paper archive.