Skip to content
cs-conference-ranking.org

A Hierarchy Theorem for the µ-Calculus.

Giacomo Lenzi

VenueA*ICALP
Year1996
ProceedingsICALP
DBLP recordconf/icalp/Lenzi96 ↗

Browse the full ICALP paper archive.