-
3
-
-
0003238896
-
Constructive Analysis
-
Springer, Berlin
-
E. Bishop, D.S. Bridges, Constructive Analysis, volume 279 of Grundlehren der mathematischen Wissenschaft, Springer, Berlin, 1985.
-
(1985)
Grundlehren der Mathematischen Wissenschaft
, vol.279
-
-
Bishop, E.1
Bridges, D.S.2
-
4
-
-
0029406623
-
Domain theory and integration
-
A. Edalat, Domain theory and integration, Theoret. Comput. Sci. 151 (1995) 163-193.
-
(1995)
Theoret. Comput. Sci.
, vol.151
, pp. 163-193
-
-
Edalat, A.1
-
5
-
-
0001730950
-
Power domains and iterated function systems
-
A. Edalat, Power domains and iterated function systems, Inform. Comput. 124(2) (1996) 182-197.
-
(1996)
Inform. Comput.
, vol.124
, Issue.2
, pp. 182-197
-
-
Edalat, A.1
-
6
-
-
0001161931
-
Computable functionals
-
A. Grzegorczyk, Computable functionals, Fundam. Math. 42 (1955) 168-202.
-
(1955)
Fundam. Math.
, vol.42
, pp. 168-202
-
-
Grzegorczyk, A.1
-
8
-
-
0001265433
-
Fractals and self-similarity
-
J. Hutchinson, Fractals and self-similarity, Indiana Univ. J. Math. 30 (1981) 713-747.
-
(1981)
Indiana Univ. J. Math.
, vol.30
, pp. 713-747
-
-
Hutchinson, J.1
-
10
-
-
0010122757
-
A unified approach to constructive and recursive analysis
-
M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas (Eds.), Computation and Proof Theory, Springer, Berlin, Proc. Logic Colloquium, Part II, Aachen, 18-23 July 1983
-
C. Kreitz, K. Weihrauch, A unified approach to constructive and recursive analysis, in: M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas (Eds.), Computation and Proof Theory, Lecture Notes in Mathematics, vol. 1104, pp. 259-278. 1984, Springer, Berlin, Proc. Logic Colloquium, Part II, Aachen, 18-23 July 1983.
-
(1984)
Lecture Notes in Mathematics
, vol.1104
, pp. 259-278
-
-
Kreitz, C.1
Weihrauch, K.2
-
12
-
-
0004192109
-
-
of Translation of Mathematical Monographs, American Mathematical Society, Providence
-
B.A. Kushner, Lectures on Constructive Mathematical Analysis, vol. 60 of Translation of Mathematical Monographs, American Mathematical Society, Providence, 1984.
-
(1984)
Lectures on Constructive Mathematical Analysis
, vol.60
-
-
Kushner, B.A.1
-
14
-
-
0004220675
-
Information-Based Complexity
-
Academic Press, New York
-
J.F. Traub, G.W. Wasilkowski, H. Woźniakowski, Information-Based Complexity, Computer Science and Scientific Computing, Academic Press, New York, 1988.
-
(1988)
Computer Science and Scientific Computing
-
-
Traub, J.F.1
Wasilkowski, G.W.2
Woźniakowski, H.3
-
16
-
-
0027911283
-
Computability on computable metric spaces
-
Fundamental Study
-
K. Weihrauch, Computability on computable metric spaces, Theoret. Comput. Sci. 113 (1993) 191-210, Fundamental Study.
-
(1993)
Theoret. Comput. Sci.
, vol.113
, pp. 191-210
-
-
Weihrauch, K.1
-
17
-
-
0000212398
-
A foundation of computable analysis
-
The Structural Complexity Column by Juris Hartmanis
-
K. Weihrauch, A foundation of computable analysis, Bull. European Assoc. Theoret. Comput. Sci. 57 (1995) 167-182, The Structural Complexity Column by Juris Hartmanis.
-
(1995)
Bull. European Assoc. Theoret. Comput. Sci.
, vol.57
, pp. 167-182
-
-
Weihrauch, K.1
-
18
-
-
0002062714
-
A foundation for computable analysis
-
Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten (Eds.), Combinatorics, Complexity, and Logic, Springer, Singapore, Proc. DMTCS'96
-
K. Weihrauch, A foundation for computable analysis, in: Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten (Eds.), Combinatorics, Complexity, and Logic, Discrete Math. Theoret. Comput. Sci., Springer, Singapore, 1997, pp. 66-89, Proc. DMTCS'96.
-
(1997)
Discrete Math. Theoret. Comput. Sci.
, pp. 66-89
-
-
Weihrauch, K.1
|