Skip to content

A Strong Restriction of the Inductive Completion Procedure.

Laurent Fribourg

VenueA*ICALP
Year1986
ProceedingsICALP

Browse the full ICALP paper archive.