| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals
|
Wu, Yongcheng
|
|
2005
|
120 |
C |
p. 217-230
14 p.
|
artikel
|
| 2 |
A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions
|
Rettinger, Robert
|
|
2005
|
120 |
C |
p. 145-157
13 p.
|
artikel
|
| 3 |
A General Constructive Proof Technique
|
Bridges, Douglas
|
|
2005
|
120 |
C |
p. 31-43
13 p.
|
artikel
|
| 4 |
An Algorithm for Computing Fundamental Solutions
|
Weihrauch, Klaus
|
|
2005
|
120 |
C |
p. 201-215
15 p.
|
artikel
|
| 5 |
A Note On the Turing Degrees of Divergence Bounded Computable Reals
|
Zheng, Xizhong
|
|
2005
|
120 |
C |
p. 231-237
7 p.
|
artikel
|
| 6 |
Effective Dini's Theorem on Effectively Compact Metric Spaces
|
Kamo, Hiroyasu
|
|
2005
|
120 |
C |
p. 73-82
10 p.
|
artikel
|
| 7 |
Hierarchies of Function Classes Defined by the First-Value Operator
|
Hemmerling, Armin
|
|
2005
|
120 |
C |
p. 59-72
14 p.
|
artikel
|
| 8 |
Hyperbolic Julia Sets are Poly-Time Computable
|
Braverman, Mark
|
|
2005
|
120 |
C |
p. 17-30
14 p.
|
artikel
|
| 9 |
On the Borel Complexity of Hahn-Banach Extensions
|
Brattka, Vasco
|
|
2005
|
120 |
C |
p. 3-16
14 p.
|
artikel
|
| 10 |
On the Complexity of Finding Paths in a Two-Dimensional Domain II: Piecewise Straight-Line Paths
|
Chou, Arthur W.
|
|
2005
|
120 |
C |
p. 45-57
13 p.
|
artikel
|
| 11 |
Orbit Complexity and Entropy for Group Endomorphisms
|
Kenny, Robert
|
|
2005
|
120 |
C |
p. 97-110
14 p.
|
artikel
|
| 12 |
Preface
|
Brattka, Vasco
|
|
2005
|
120 |
C |
p. 1-
1 p.
|
artikel
|
| 13 |
Rates of Convergence of Recursively Defined Sequences
|
Lambov, Branimir
|
|
2005
|
120 |
C |
p. 125-133
9 p.
|
artikel
|
| 14 |
Relative Randomness and Real Closed Fields
|
Raichev, Alexander
|
|
2005
|
120 |
C |
p. 135-143
9 p.
|
artikel
|
| 15 |
Sequential Computability of a Function: Diagonal Space and Limiting Recursion
|
Tsujii, Yoshiki
|
|
2005
|
120 |
C |
p. 187-199
13 p.
|
artikel
|
| 16 |
Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory
|
Kunkle, Daren
|
|
2005
|
120 |
C |
p. 111-123
13 p.
|
artikel
|
| 17 |
Transition Systems over Continuous Time-Space
|
Takeuti, Izumi
|
|
2005
|
120 |
C |
p. 173-186
14 p.
|
artikel
|
| 18 |
Type-2 Computability and Moore's Recursive Functions
|
Kawamura, Akitoshi
|
|
2005
|
120 |
C |
p. 83-95
13 p.
|
artikel
|
| 19 |
Variations on Wadge Reducibility Extended Abstract
|
Selivanov, Victor L.
|
|
2005
|
120 |
C |
p. 159-171
13 p.
|
artikel
|
Tijdschrift beschrijving