Skip to content

Recursion and Parameter Mechanisms: An Axiomatic Approach.

Willem P. de Roever

VenueA*ICALP
Year1974
ProceedingsICALP

Browse the full ICALP paper archive.