|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
64
|
Dynamical systems, Measures and Fractals via Domain Theory
– Abbas Edalat
- 1995
|
|
41
|
A Domain-Theoretic Approach to Computability on the Real Line
– Abbas Edalat, Philipp Sünderhauf
- 1997
|
|
31
|
Foundation of a Computable Solid Modelling
– Abbas Edalat, André Lieutier
- 2002
|
|
89
|
J.V.: Universal algebra
– K Meinke, Tucker
- 1992
|
|
56
|
Computability in analysis and physics
– M B Pour-El and J I Richards
- 1989
|
|
30
|
Domain representability of metric spaces
– J Blanck
- 1997
|
|
201
|
An Introduction to Computable Analysis
– K Weihrauch
- 2000
|
|
21
|
Computability, volume 9
– K Weihrauch
- 1987
|
|
178
|
Outline of a mathematical theory of computation
– D Scott
- 1970
|
|
40
|
A Computational Model for Metric Spaces
– Abbas Edalat, Reinhold Heckmann
- 1995
|
|
31
|
Complete local rings as domains
– V AND TUCKER STOLTENBERG-HANSEN, J V
- 1988
|
|
693
|
Interval Analysis
– R E Moore
- 1966
|
|
72
|
On the definitions of computable real continuous functions
– A Grzegorczyk
- 1957
|
|
27
|
Concrete models of computation for topological algebras
– V Stoltenberg-Hansen, J V Tucker
- 1999
|
|
9
|
Computability on topological spaces by effective domain representations
– J Blanck
- 1997
|
|
19
|
Domain Representations of Topological Spaces
– Jens Blanck
- 2000
|
|
44
|
Computable functionals
– A Grzegorczyk
- 1955
|
|
13
|
Computable Banach Spaces via Domain Theory
– Abbas Edalat, Philipp Sünderhauf
- 1998
|
