Skip to content
cs-conference-ranking.org

Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract).

Julian Rathke

VenueA*LICS
Year1997
ProceedingsLICS
DBLP recordconf/lics/Rathke97 ↗

Browse the full LICS paper archive.