The following pages link to Berechenbare Reelle Funktionen (Q4052093):
Displaying 10 items.
- Admissible representations of effective cpo's (Q1068562) (← links)
- Representations of the real numbers and of the open subsets of the set of real numbers (Q1101448) (← links)
- Computability on subsets of Euclidean space. I: Closed and compact subsets (Q1292398) (← links)
- Computable Banach spaces via domain theory (Q1292403) (← links)
- An effective Riemann Mapping Theorem (Q1292405) (← links)
- Recursive characterization of computable real-valued functions and relations (Q1349924) (← links)
- Topological properties of real number representations. (Q1607288) (← links)
- On computably locally compact Hausdorff spaces (Q3616220) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- How much partiality is needed for a theory of computability? (Q6146825) (← links)
