SCOPUS 정보 검색 플랫폼

Volumn 284, Issue 2, 2002, Pages 347-372

Effective metric spaces and representations of the reals

Author keywords

Approximate computability; Computable analysis; Domains of computable functions; Effective metric space; Oracle Turning machine; Representation of the real numbers; Standard represntation; Topological arithmetical hierarchy

Indexed keywords

APPROXIMATION THEORY; FUNCTIONS; NUMBER THEORY; TOPOLOGY; TURING MACHINES;

EFFECTIVE METRIC SPACES;

COMPUTATION THEORY;

EID: 0037189794 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00093-7 Document Type: Article

Times cited : (15)

References (15)

1
- 0003462907
- Dissertation, Informatik-Berichte 255-7/1999, FernUniversität Hagen
- (1999) Recursive and computable operations over topological structures
- Brattka, V.¹

2
- 0000925563
- Computable Banach spaces via domain theory
- (1999) Theoret. Comput. Sci. , vol.219 , pp. 169-184
- Edalat, A.¹ Sünderhauf, P.²

3
- 0001740463
- On approximate and algebraic computability over the real numbers
- (1999) Theoret. Comput. Sci. , vol.219 , pp. 185-223
- Hemmerling, A.¹

4
- 0000958786
- On the time complexity of partial real functions
- (2000) J. Complexity , vol.16 , pp. 363-376
- Hemmerling, A.¹

5
- 0033450075
- A real number structure that is effectively categorical
- (1999) Math. Log. Q. , vol.45 , pp. 147-182
- Hertling, P.¹

6
- 0003068077
- Effectivity and effective continuity of functions between computable metric spaces
- D.S. Bridges, Springer, Singapore
- (1997) Combinatorics, Complexity & Logic, Proc. of the DMTCS'96 , pp. 264-275
- Hertling, P.¹

7
- 0003767108
- Birkhäuser, Boston
- (1991) Complexity Theory of Real Functions
- Ko, K.-I.¹

8
- 85012630262
- Computational complexity of real functions
- (1982) Theoret. Comput. Sci. , vol.20 , pp. 323-352
- Ko, K.-I.¹ Friedman, H.²

9
- 0004270686
- North-Holland, P.C Amsterdam
- (1980) Descriptive Set Theory
- Moschovakis, Y.N.¹

10
- 0003744625
- Springer, Berlin
- (1989) Computability in Analysis and Physics
- Pour-El, M.B.¹ Richards, J.I.²

11
- 0004138172
- McGraw-Hill, New York
- (1967) Theory of Recursive Functions and Effective Computability
- Rogers H., Jr.¹

12
- 0003466692
- Springer, Berlin
- (1987) Computability
- Weihrauch, K.¹

13
- 0027911283
- Computability on computable metric spaces
- (1993) Theoret. Comput. Sci. , vol.113 , pp. 191-210
- Weihrauch, K.¹

14
- 0003886229
- Informatik-Berichte 171-7/1995, FernUniversität Hagen
- (1995) A simple introduction to computable analysis
- Weihrauch, K.¹

15
- 0002807128
- The wave propagator is Turing computable
- Computability and Complexity in Analysis, Informatik-Berichte 235-8/1998, FernUniversität Hagen
- (1998) CCA'98 Proceedings , pp. 127-154
- Weihrauch, K.¹ Zhong, N.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.