External Links

    Journal: Theory Comput. Syst.

    Volume 51, Issue 1

    1 -- 3Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe. Computability in Europe 2009
    4 -- 21Jean Cardinal, Samuel Fiorini, Gwenaël Joret. Minimum Entropy Combinatorial Optimization Problems
    22 -- 49John Case, Samuel E. Moelius. Program Self-Reference in Constructive Scott Subdomains
    50 -- 64Stefan S. Dantchev, Barnaby Martin. Cutting Planes and the Parameter Cutwidth
    65 -- 84Tobias Gärtner, Günter Hotz. Representation Theorems for Analytic Machines and Computability of Analytic Functions
    85 -- 105Lars Kristiansen, Bedeho Mesghina Wolde Mender. Non-determinism in Gödel's System T
    106 -- 122Klaus Ambos-Spies, Timur Bakibayev. Comparing Nontriviality for E and EXP
    runs on