1. Theory of Computation at CiE 2005

   • S. Barry Cooper
   • Benedikt Lowe
   • Peter van Emde Boas

   EditorialNotes Pages: 1 - 2

2. A Thread Algebra with Multi-Level Strategic Interleaving

   • J.A. Bergstra
   • C.A. Middelburg

   OriginalPaper Open access 07 May 2007 Pages: 3 - 32

3. Optimal Semicomputable Approximations to Reachable and Invariant Sets

   • Pieter Collins

   OriginalPaper Open access 07 May 2007 Pages: 33 - 48

4. Shrad: A Language for Sequential Real Number Computation

   • Amin Farjudian

   OriginalPaper 07 May 2007 Pages: 49 - 105

5. Some Relations between Approximation Problems and PCPs over the Real Numbers

   • Klaus Meer

   OriginalPaper 07 May 2007 Pages: 107 - 118

6. The Computational Complexity of One-Dimensional Sandpiles

   • Peter Bro Miltersen

   OriginalPaper 07 May 2007 Pages: 119 - 125

7. Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory

   • Milad Niqui

   OriginalPaper Open access 07 May 2007 Pages: 127 - 154

8. Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation

   • Ning Zhong

   OriginalPaper 07 May 2007 Pages: 155 - 175

9. Real Hypercomputation and Continuity

   • Martin Ziegler

   OriginalPaper 07 May 2007 Pages: 177 - 206