External Links

    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
    runs on