Computability in Europe 2006 Arnold BeckmannBenedikt Löwe OriginalPaper 29 August 2007 Pages: 295 - 297
A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul RaufUlrich BergerAnton Setzer OriginalPaper 13 October 2007 Pages: 298 - 321
Abstract Interface Behavior of Object-Oriented Languages with Monitors Erika ÁbrahámAndreas GrünerMartin Steffen OriginalPaper 03 October 2007 Pages: 322 - 361
Datatype-Generic Termination Proofs Roland BackhouseHenk Doornbos OriginalPaper 05 October 2007 Pages: 362 - 393
Coinduction for Exact Real Number Computation Ulrich BergerTie Hou OriginalPaper 27 July 2007 Pages: 394 - 409
Division Safe Calculation in Totalised Fields J. A. BergstraJ. V. Tucker OriginalPaper Open access 26 July 2007 Pages: 410 - 424
Dimension Extractors and Optimal Decompression David Doty OriginalPaper 06 July 2007 Pages: 425 - 463
A Hierarchy below the Halting Problem for Additive Machines Christine Gaßner OriginalPaper 24 July 2007 Pages: 464 - 470
Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets John M. HitchcockMaría López-ValdésElvira Mayordomo OriginalPaper 04 July 2007 Pages: 471 - 497
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems Margarita KorovinaNicolai Vorobjov OriginalPaper 04 July 2007 Pages: 498 - 515
Complexity-Theoretic Hierarchies Induced by Fragments of Gödel’s T Lars Kristiansen OriginalPaper 04 July 2007 Pages: 516 - 541
From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials J. A. Makowsky OriginalPaper 06 July 2007 Pages: 542 - 562
Risk Assessment for One-Counter Threads Alban PonseMark B. van der Zwaag OriginalPaper Open access 26 July 2007 Pages: 563 - 582
Realizability interpretation of proofs in constructive analysis Helmut Schwichtenberg OriginalPaper 06 July 2007 Pages: 583 - 602
Classification of Computably Approximable Real Numbers Xizhong Zheng OriginalPaper 06 July 2007 Pages: 603 - 624