Skip to content

Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions.

Dimiter Skordev

VenueCCCA
Year2000
ProceedingsCCA

Browse the full CCA paper archive.