The following pages link to (Q5144613):
Displaying 8 items.
- A new approach to computability over the reals (Q1284389) (← links)
- Towards computable analysis on the generalised real line (Q2011660) (← links)
- Models of computation for partial functions on the reals (Q2258841) (← links)
- Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions (Q2581262) (← links)
- (Q4364586) (← links)
- (Q4551395) (← links)
- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (Q4928437) (← links)
- Beyond Rogers’ Non-constructively Computable Function (Q5326358) (← links)