nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A note on the diamond operator
|
Westrick, Linda |
|
|
10 |
2 |
p. 107-110 |
artikel |
2 |
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
|
Selivanova, Svetlana |
|
|
10 |
2 |
p. 123-140 |
artikel |
3 |
Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines
|
Welch, Philip |
|
|
10 |
2 |
p. 159-180 |
artikel |
4 |
COH, SRT22, and multiple functionals
|
Dzhafarov, Damir D. |
|
|
10 |
2 |
p. 111-121 |
artikel |
5 |
Measure-theoretic uniformity and the Suslin functional
|
Normann, Dag |
|
|
10 |
2 |
p. 91-105 |
artikel |
6 |
The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian
|
Daylight, Edgar G. |
|
|
10 |
2 |
p. 141-158 |
artikel |