Skip to content
cs-conference-ranking.org

Results on the Propositional µ-Calculus.

Dexter Kozen

VenueA*ICALP
Year1982
ProceedingsICALP
DBLP recordconf/icalp/Kozen82 ↗

Browse the full ICALP paper archive.