Characterization theorem for the conditionally computable real functions

DOI10.23638/LMCS-13(3:3)2017zbMath1456.03068arXiv1703.01470MaRDI QIDQ5278086

Ivan Georgiev

Publication date: 13 July 2017

Full work available at URL: https://arxiv.org/abs/1703.01470

zbMATH Keywords

relative computabilitysubrecursive classesconditionally computable real function

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

This page was built for publication: Characterization theorem for the conditionally computable real functions