Machines, Computations, and Universality

DOI10.1007/b106980zbMath1102.03057OpenAlexW4297931334MaRDI QIDQ5710897

Emmanuel Hainry, Olivier Bournez

Publication date: 8 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106980

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

A survey of recursive analysis and Moore's notion of real computation, The P\(\neq\) NP conjecture in the context of real and complex analysis, How much can analog and hybrid systems be proved (super-)Turing, Computability on reals, infinite limits and differential equations, A foundation for real recursive function theory