Skip to content

A Decidable Class of Bounded Recursions.

Jeffrey F. Naughton, Yehoshua Sagiv

VenueA*PODS
Year1987
ProceedingsPODS

Browse the full PODS paper archive.