Skip to content

Simplifying the Modal Mu-Calculus Alternation Hierarchy.

Julian C. Bradfield

VenueASTACS
Year1998
ProceedingsSTACS

Browse the full STACS paper archive.