A Domain-Theoretic Approach to Computability on the Real Line (1997)

Cached

Download Links

by Abbas Edalat , Philipp Sünderhauf
Citations:43 - 8 self

Active Bibliography

15 Computable Banach Spaces via Domain Theory – Abbas Edalat, Philipp Sünderhauf - 1998
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
7 Integration in real PCF – Abbas Edalat, Martín Hötzel Escardó - 1996
30 Abstract versus concrete computation on metric partial algebras – J. V. Tucker - 2004
33 Foundation of a Computable Solid Modelling – Abbas Edalat, André Lieutier - 2002
12 Domain-theoretic solution of differential equations – Abbas Edalat, Dirk Pattinson - 2006
3 A continuous derivative for real-valued functions – Abbas Edalat - 2008
5 Abstract computability and algebraic specification – J. V. Tucker, J. I. Zucker - 2002
6 Admissible Domain Representations of Topological Spaces – Göran Hamrin, Göran Hamrin - 2005
8 Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations – Jens Blanck - 2006
Cantor–Weihrauch domain representations – Cup Reference, Andrew Smith, Smith Owen Associates, Jens Blanck - 2007
A Denotional Semantics for . . . – Thomas Anberrée - 2007
6 COMPUTATIONAL UNSOLVABILITY OF DOMAINS OF ATTRACTION OF NONLINEAR SYSTEMS – Ning Zhong - 2009
69 Dynamical systems, Measures and Fractals via Domain Theory – Abbas Edalat - 1995
4 Basic Algorithms of Computational Geometry with Imprecise Input – Ali Asghar Khanban - 2005
2 Effectivity of regular spaces – Jens Blanck - 2001
8 The Effective Riemann Mapping Theorem – Peter Hertling - 1997
29 Semantics of Exact Real Arithmetic – Peter John Potts, Abbas Edalat, Martín Hötzel Escardó - 1997