Skip to content

The Decidable Properties of Subrecursive Functions.

Mathieu Hoyrup

VenueA*ICALP
Year2016
ProceedingsICALP

Browse the full ICALP paper archive.