Journal: Theory Comput. Syst.

Volume 41, Issue 1

1 -- 2S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas. Theory of Computation at CiE 2005
3 -- 32Jan A. Bergstra, C. A. Middelburg. A Thread Algebra with Multi-Level Strategic Interleaving
33 -- 48Pieter Collins. Optimal Semicomputable Approximations to Reachable and Invariant Sets
49 -- 105Amin Farjudian. Shrad: A Language for Sequential Real Number Computation
107 -- 118Klaus Meer. Some Relations between Approximation Problems and PCPs over the Real Numbers
119 -- 125Peter Bro Miltersen. The Computational Complexity of One-Dimensional Sandpiles
127 -- 154Milad Niqui. Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
155 -- 175Ning Zhong. Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation
177 -- 206Martin Ziegler. Real Hypercomputation and Continuity