Berechenbare Reelle Funktionenfolgen

DOI10.1002/malq.19760220136zbMath0358.02039OpenAlexW2087249699MaRDI QIDQ4133609

Jürgen Hauck

Publication date: 1976

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19760220136

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Computation over the reals, computable analysis (03D78)

Related Items

Recursive characterization of computable real-valued functions and relations, How much partiality is needed for a theory of computability?, Effective Choice and Boundedness Principles in Computable Analysis