Pages that link to "Item:Q1032628"
From MaRDI portal
The following pages link to A foundation for real recursive function theory (Q1032628):
Displaying 14 items.
- Real recursive functions and their hierarchy (Q706790) (← links)
- A characterization of computable analysis on unbounded domains using differential equations (Q719239) (← links)
- Real-world computers and recursive function theory (Q1176079) (← links)
- Relatively recursive reals and real functions (Q1274809) (← links)
- Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291) (← links)
- Recursive characterization of computable real-valued functions and relations (Q1349924) (← links)
- \(\mu\)-recursion and infinite limits. (Q1401321) (← links)
- A survey of recursive analysis and Moore's notion of real computation (Q1761708) (← links)
- Beyond recursive real functions (Q1917069) (← links)
- Incomputability in physics and biology (Q2919943) (← links)
- Axiomatic recursion theory and the continuous functionals (Q3717039) (← links)
- An application of pure recursion theory to recursive analysis (Q3778751) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Machines, Computations, and Universality (Q5710897) (← links)
