1. Computability in Europe 2006

   • Arnold Beckmann
   • Benedikt Löwe

   OriginalPaper 29 August 2007 Pages: 295 - 297

2. A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++

   • Rose H. Abdul Rauf
   • Ulrich Berger
   • Anton Setzer

   OriginalPaper 13 October 2007 Pages: 298 - 321

3. Abstract Interface Behavior of Object-Oriented Languages with Monitors

   • Erika Ábrahám
   • Andreas Grüner
   • Martin Steffen

   OriginalPaper 03 October 2007 Pages: 322 - 361

4. Datatype-Generic Termination Proofs

   • Roland Backhouse
   • Henk Doornbos

   OriginalPaper 05 October 2007 Pages: 362 - 393

5. Coinduction for Exact Real Number Computation

   • Ulrich Berger
   • Tie Hou

   OriginalPaper 27 July 2007 Pages: 394 - 409

6. Division Safe Calculation in Totalised Fields

   • J. A. Bergstra
   • J. V. Tucker

   OriginalPaper Open access 26 July 2007 Pages: 410 - 424

7. Dimension Extractors and Optimal Decompression

   • David Doty

   OriginalPaper 06 July 2007 Pages: 425 - 463

8. A Hierarchy below the Halting Problem for Additive Machines

   • Christine Gaßner

   OriginalPaper 24 July 2007 Pages: 464 - 470

9. Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets

   • John M. Hitchcock
   • María López-Valdés
   • Elvira Mayordomo

   OriginalPaper 04 July 2007 Pages: 471 - 497

10. Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems

    • Margarita Korovina
    • Nicolai Vorobjov

    OriginalPaper 04 July 2007 Pages: 498 - 515

11. Complexity-Theoretic Hierarchies Induced by Fragments of Gödel’s T

    • Lars Kristiansen

    OriginalPaper 04 July 2007 Pages: 516 - 541

12. From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials

    • J. A. Makowsky

    OriginalPaper 06 July 2007 Pages: 542 - 562

13. Risk Assessment for One-Counter Threads

    • Alban Ponse
    • Mark B. van der Zwaag

    OriginalPaper Open access 26 July 2007 Pages: 563 - 582

14. Realizability interpretation of proofs in constructive analysis

    • Helmut Schwichtenberg

    OriginalPaper 06 July 2007 Pages: 583 - 602

15. Classification of Computably Approximable Real Numbers

    • Xizhong Zheng

    OriginalPaper 06 July 2007 Pages: 603 - 624