1021 | -- | 1023 | Arnold Beckmann, Benedikt Löwe, Dag Normann. Logical Approaches to Computational Barriers: CiE 2006 |
1025 | -- | 1040 | Bahareh Afshari, George Barmpalias, S. Barry Cooper, Frank Stephan. Post s Programme for the Ershov Hierarchy |
1041 | -- | 1062 | George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, Rebecca Weber. Algorithmic Randomness of Closed Sets |
1063 | -- | 1081 | Fredrik Dahlgren. Partial Continuous Functions and Admissible Domain Representations |
1083 | -- | 1098 | Arnoud den Boer, Andreas Weiermann. A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions |
1099 | -- | 1107 | A. Sirokofskich, Costas Dimitracopoulos. On a Problem of J. Paris |
1109 | -- | 1134 | Roy Dyckhoff, Stéphane Lengrand. Call-by-Value lambda-calculus and LJQ |
1135 | -- | 1151 | Oleg V. Kudinov, Victor L. Selivanov. Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests |
1153 | -- | 1166 | Jiang Liu, Guohua Wu. Isolation, Infima and Diamond Embeddings |
1167 | -- | 1191 | Alan Skelley. Third-Order Computation and Bounded Arithmetic |
1193 | -- | 1214 | Ivan N. Soskov. The omega-Enumeration Degrees |
1215 | -- | 1233 | Alexandra A. Soskova. Relativized Degree Spectra |
1235 | -- | 1255 | Mariya Ivanova Soskova. Genericity and Non-bounding in the Enumeration degrees |