Recursive Characterization of Computable Real-Valued Functions and Relations

Vasco Brattka. Recursive Characterization of Computable Real-Valued Functions and Relations. Theoretical Computer Science, 162(1):45-77, 1996. [doi]

Abstract

Abstract is missing.