Volume 219; Issue 1-2

Theoretical Computer Science

Volume 219; Issue 1-2
1

Foreword

Year:
1999
Language:
english
File:
PDF, 112 KB
english, 1999
3

Effective domain representations of H(X) the space of compact subsets

Year:
1999
Language:
english
File:
PDF, 1.91 MB
english, 1999
4

Equality is a jump

Year:
1999
Language:
english
File:
PDF, 1.10 MB
english, 1999
5

Computability on subsets of Euclidean space I: closed and compact subsets

Year:
1999
Language:
english
File:
PDF, 1.96 MB
english, 1999
6

Constructive mathematics: a foundation for computable analysis

Year:
1999
Language:
english
File:
PDF, 1.00 MB
english, 1999
7

Index sets in computable analysis

Year:
1999
Language:
english
File:
PDF, 2.69 MB
english, 1999
8

Analytic machines

Year:
1999
Language:
english
File:
PDF, 1.17 MB
english, 1999
9

Computable Banach spaces via domain theory

Year:
1999
Language:
english
File:
PDF, 1.14 MB
english, 1999
10

On approximate and algebraic computability over the real numbers

Year:
1999
Language:
english
File:
PDF, 2.55 MB
english, 1999
11

An effective Riemann Mapping Theorem

Year:
1999
Language:
english
File:
PDF, 2.76 MB
english, 1999
12

Markov's constructive analysis; a participant's view

Year:
1999
Language:
english
File:
PDF, 1.50 MB
english, 1999
13

Computability on random variables

Year:
1999
Language:
english
File:
PDF, 834 KB
english, 1999
14

On the cost of uniform and nonuniform algorithms

Year:
1999
Language:
english
File:
PDF, 1.10 MB
english, 1999
15

Online computations of differentiable functions

Year:
1999
Language:
english
File:
PDF, 854 KB
english, 1999
16

Concrete models of computation for topological algebras

Year:
1999
Language:
english
File:
PDF, 2.11 MB
english, 1999
17

Computation by ‘While’ programs on topological partial algebras

Year:
1999
Language:
english
File:
PDF, 2.52 MB
english, 1999
18

Computability on the probability measures on the Borel sets of the unit interval

Year:
1999
Language:
english
File:
PDF, 1.23 MB
english, 1999
19

Effectiveness of the global modulus of continuity on metric spaces

Year:
1999
Language:
english
File:
PDF, 761 KB
english, 1999
20

Why does information-based complexity use the real number model?

Year:
1999
Language:
english
File:
PDF, 1.09 MB
english, 1999
22

Computability structure of the Sobolev spaces and its applications

Year:
1999
Language:
english
File:
PDF, 1.27 MB
english, 1999
24

Author index volume 219 (1999)

Year:
1999
Language:
english
File:
PDF, 79 KB
english, 1999
25

Editorial Board

Year:
1999
File:
PDF, 266 KB
1999