Skip to content

Algorithmic Specifications of Abstract Data Types.

Jacques Loeckx

VenueA*ICALP
Year1981
ProceedingsICALP

Browse the full ICALP paper archive.