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

Cached

Download Links

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

Documents Related by Co-Citation

456 Domain Theory – Samson Abramsky, Achim Jung - 1994
230 Computable Analysis – K Weihrauch - 2000
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
191 Outline of a mathematical theory of computation – D S Scott - 1970
98 Universal Algebra – K Meinke, J V Tucker - 1992
21 Computability, volume 9 – K Weihrauch - 1987
151 Computable Analysis, An introduction – K Weihrauch - 2000
88 On the definitions of computable real continuous functions – A Grzegorczyk - 1957
33 Domain representability of metric spaces – J Blanck - 1997
35 Complete local rings as domains – V Stoltenberg-Hansen, J V Tucker - 1988
97 Epsilon geometry: building robust algorithms from imprecise computations – L Guibas, D Salesin, J Stolfi - 1989
31 Concrete models of computation for topological algebras, Theoretical Computer Science 219 – V Stoltenberg-Hansen, J V Tucker - 1999
8 Recursion theory as a branch of model theory – R Montague - 1967
16 Mixed Computations – A Ershov - 1984
7 A New Approach to Computability over the Reals – M Korovina, O Kudinov - 1998
191 Admissible Sets and Structures – J Barwise - 1975
4 On the de of computable real continuous functions, Fund – A Grzegorczyk - 1957
65 Computability in analysis and physics – Marian B Pour-El and J Ian Richards - 1989
33 Foundation of a Computable Solid Modelling – Abbas Edalat, André Lieutier - 2002