Theory of Computation at CiE 2005 S. Barry CooperBenedikt LowePeter van Emde Boas EditorialNotes Pages: 1 - 2
A Thread Algebra with Multi-Level Strategic Interleaving J.A. BergstraC.A. Middelburg OriginalPaper Open access 07 May 2007 Pages: 3 - 32
Optimal Semicomputable Approximations to Reachable and Invariant Sets Pieter Collins OriginalPaper Open access 07 May 2007 Pages: 33 - 48
Shrad: A Language for Sequential Real Number Computation Amin Farjudian OriginalPaper 07 May 2007 Pages: 49 - 105
Some Relations between Approximation Problems and PCPs over the Real Numbers Klaus Meer OriginalPaper 07 May 2007 Pages: 107 - 118
The Computational Complexity of One-Dimensional Sandpiles Peter Bro Miltersen OriginalPaper 07 May 2007 Pages: 119 - 125
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory Milad Niqui OriginalPaper Open access 07 May 2007 Pages: 127 - 154
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation Ning Zhong OriginalPaper 07 May 2007 Pages: 155 - 175