|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index volume 284 (2002) |
2002 |
284 | 2 |
p. 557-558 2 p. |
artikel |
||
| 2 | Chaitin Ω numbers, Solovay machines, and Gödel incompleteness |
Calude, Cristian S. |
2002 |
284 | 2 |
p. 269-277 9 p. |
artikel |
|
| 3 | Domain representations of partial functions, with applications to spatial objects and constructive volume geometry |
Blanck, J. |
2002 |
284 | 2 |
p. 207-240 34 p. |
artikel |
|
| 4 | Effectively closed sets and graphs of computable real functions |
Cenzer, Douglas |
2002 |
284 | 2 |
p. 279-318 40 p. |
artikel |
|
| 5 | Effective metric spaces and representations of the reals |
Hemmerling, Armin |
2002 |
284 | 2 |
p. 347-372 26 p. |
artikel |
|
| 6 | Effective simultaneous approximability of reals |
Krupski, Vladimir N. |
2002 |
284 | 2 |
p. 397-417 21 p. |
artikel |
|
| 7 | Exact real number computations relative to hereditarily total functionals |
Normann, Dag |
2002 |
284 | 2 |
p. 437-453 17 p. |
artikel |
|
| 8 | Extended admissibility |
Schröder, Matthias |
2002 |
284 | 2 |
p. 519-538 20 p. |
artikel |
|
| 9 | Foreword |
Ko, Ker-l |
2002 |
284 | 2 |
p. 197- 1 p. |
artikel |
|
| 10 | Foundation of a computable solid modelling |
Edalat, Abbas |
2002 |
284 | 2 |
p. 319-345 27 p. |
artikel |
|
| 11 | Interpolation functor and computability |
Yoshikawa, Atsushi |
2002 |
284 | 2 |
p. 487-498 12 p. |
artikel |
|
| 12 | Kernels of seminorms in constructive analysis |
Bridges, Douglas S. |
2002 |
284 | 2 |
p. 259-267 9 p. |
artikel |
|
| 13 | On the computability of Walsh functions |
Mori, Takakazu |
2002 |
284 | 2 |
p. 419-436 18 p. |
artikel |
|
| 14 | Presentations of computably enumerable reals |
Downey, Rodney G. |
2002 |
284 | 2 |
p. 539-555 17 p. |
artikel |
|
| 15 | Real functions computable by finite automata using affine representations |
Konečný, Michal |
2002 |
284 | 2 |
p. 373-396 24 p. |
artikel |
|
| 16 | Real number computation through Gray code embedding |
Tsuiki, Hideki |
2002 |
284 | 2 |
p. 467-485 19 p. |
artikel |
|
| 17 | The closure properties on real numbers under limits and computable operators |
Zheng, Xizhong |
2002 |
284 | 2 |
p. 499-518 20 p. |
artikel |
|
| 18 | The Kolmogorov complexity of real numbers |
Staiger, Ludwig |
2002 |
284 | 2 |
p. 455-466 12 p. |
artikel |
|
| 19 | Topological properties of real number representations |
Brattka, Vasco |
2002 |
284 | 2 |
p. 241-257 17 p. |
artikel |
|
| 20 | Uniform computational complexity of the derivatives of C ∞-functions |
Bläser, Markus |
2002 |
284 | 2 |
p. 199-206 8 p. |
artikel |
20 gevonden resultaten