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

461 Domain Theory – Samson Abramsky, Achim Jung - 1994
232 An Introduction to 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
154 Computable Analysis - An Introduction – K Weihrauch - 2000
88 On the definitions of computable real continuous functions. Fundamenta Mathematicae, 44:61–71 – Andrzej Grzegorczyk - 1957
33 Domain representability of metric spaces – J Blanck - 1997
35 Complete local rings as domains – V Stoltenberg-Hansen, J V Tucker - 1988
98 Epsilon geometry: building robust algorithms from imprecise computations – L Guibas, D Salesin, J Stolfi - 1989
32 Concrete models of computation for topological algebras – V Stoltenberg-Hansen, J V Tucker - 1999
7 A New Approach to Computability over the Reals – M Korovina, O Kudinov - 1998
8 Recursion theory as a branch of model theory – R Montague - 1967
16 Mixed Computations – A Ershov - 1984
193 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