| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract Interface Behavior of Object-Oriented Languages with Monitors
|
Ábrahám, Erika
|
|
2007
|
43 |
3-4 |
p. 322-361
|
artikel
|
| 2 |
A Hierarchy below the Halting Problem for Additive Machines
|
Gaßner, Christine
|
|
2007
|
43 |
3-4 |
p. 464-470
|
artikel
|
| 3 |
A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
|
Abdul Rauf, Rose H.
|
|
2007
|
43 |
3-4 |
p. 298-321
|
artikel
|
| 4 |
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
|
Korovina, Margarita
|
|
2007
|
43 |
3-4 |
p. 498-515
|
artikel
|
| 5 |
Classification of Computably Approximable Real Numbers
|
Zheng, Xizhong
|
|
2007
|
43 |
3-4 |
p. 603-624
|
artikel
|
| 6 |
Coinduction for Exact Real Number Computation
|
Berger, Ulrich
|
|
2007
|
43 |
3-4 |
p. 394-409
|
artikel
|
| 7 |
Complexity-Theoretic Hierarchies Induced by Fragments of Gödel’s T
|
Kristiansen, Lars
|
|
2007
|
43 |
3-4 |
p. 516-541
|
artikel
|
| 8 |
Computability in Europe 2006
|
Beckmann, Arnold
|
|
2007
|
43 |
3-4 |
p. 295-297
|
artikel
|
| 9 |
Datatype-Generic Termination Proofs
|
Backhouse, Roland
|
|
2007
|
43 |
3-4 |
p. 362-393
|
artikel
|
| 10 |
Dimension Extractors and Optimal Decompression
|
Doty, David
|
|
2007
|
43 |
3-4 |
p. 425-463
|
artikel
|
| 11 |
Division Safe Calculation in Totalised Fields
|
Bergstra, J. A.
|
|
2007
|
43 |
3-4 |
p. 410-424
|
artikel
|
| 12 |
From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials
|
Makowsky, J. A.
|
|
2007
|
43 |
3-4 |
p. 542-562
|
artikel
|
| 13 |
Realizability interpretation of proofs in constructive analysis
|
Schwichtenberg, Helmut
|
|
2007
|
43 |
3-4 |
p. 583-602
|
artikel
|
| 14 |
Risk Assessment for One-Counter Threads
|
Ponse, Alban
|
|
2007
|
43 |
3-4 |
p. 563-582
|
artikel
|
| 15 |
Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets
|
Hitchcock, John M.
|
|
2007
|
43 |
3-4 |
p. 471-497
|
artikel
|
Tijdschrift beschrijving