Pages that link to "Item:Q1274807"
From MaRDI portal
The following pages link to A domain-theoretic approach to computability on the real line (Q1274807):
Displaying 25 items.
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- A characterization of computable analysis on unbounded domains using differential equations (Q719239) (← links)
- The best interval representations of t-norms and automorphisms (Q869122) (← links)
- A differential operator and weak topology for Lipschitz maps (Q972498) (← links)
- A computable approach to measure and integration theory (Q1021572) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Computable Banach spaces via domain theory (Q1292403) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- Foundation of a computable solid modelling. (Q1607293) (← links)
- Real functions computable by finite automata using affine representations. (Q1607295) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)
- Interpolation functor and computability. (Q1607301) (← links)
- Real functions incrementally computable by finite automata (Q1826628) (← links)
- Domain theoretic second-order Euler's method for solving initial value problems (Q2133471) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)
- On the Kolmogorov Complexity of Continuous Real Functions (Q3091443) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- A Domain-Theoretic Approach to Integration in Hausdorff Spaces (Q4504971) (← links)
- Computability of Partial Delaunay Triangulation and Voronoi Diagram [Extended Abstract] (Q4916186) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- (Q5856423) (← links)
- Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
- A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)
