Skip to content

On the Expressivity of the Modal Mu-Calculus.

Julian C. Bradfield

VenueASTACS
Year1996
ProceedingsSTACS

Browse the full STACS paper archive.