Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (1997)

Cached

Download Links

by Abbas Edalat
Venue:Bulletin of Symbolic Logic
Citations:48 - 10 self

Documents Related by Co-Citation

461 Domain Theory – Samson Abramsky, Achim Jung - 1994
35 Complete local rings as domains – V Stoltenberg-Hansen, J V Tucker - 1988
98 Universal Algebra – K Meinke, J V Tucker - 1992
69 Dynamical systems, Measures and Fractals via Domain Theory – Abbas Edalat - 1995
33 Domain representability of metric spaces – J Blanck - 1997
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
33 Foundation of a Computable Solid Modelling – Abbas Edalat, André Lieutier - 2002
232 An Introduction to Computable Analysis – K Weihrauch - 2000
32 Concrete models of computation for topological algebras – V Stoltenberg-Hansen, J V Tucker - 1999
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
191 Outline of a mathematical theory of computation – D S Scott - 1970
43 A Computational Model for Metric Spaces – Abbas Edalat, Reinhold Heckmann - 1995
65 Computability in analysis and physics – Marian B Pour-El and J Ian Richards - 1989
56 Computable functionals – A Grzegorczyk - 1955
59 Extension de la notion de fonction recursive aux fonctions d’une ou plusiers variables reelles, and other notes. Comptes Rendus – D Lacombe - 1955
21 Computability, volume 9 – K Weihrauch - 1987
14 Embedding metric spaces into cpo’s – K Weihrauch, U Schreiber - 1981
876 Interval analysis – R Moore - 1966