Institute for Logic, Language and Computation
CiE-CS: CiE 2006 Postproceedings ToCS
Arnold Beckmann, Benedikt Löwe, (eds.), Computability in Europe 2006.
Special issue of the journal Theory of Computing Systems.

The following authors have announced their will to contribute to the special issue. The deadline for submission is October 20, 2006. Please read the Instructions for Authors carefully. Please submit your paper as PDF file by e-mail to bloewe(at)science.uva.nl before the deadline.

All papers will be peer-reviewed to the usual standards of the journal.

Author(s) Title Received Pages Status
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer Interpretation of functional concepts in C++ November 9, 2006; Revised: March 2, 2007 25
Erika Abraham, Andreas Grüner, Martin Steffen Abstract Interface Behavior of Object-Oriented Languages with Monitors October 22, 2006; Revised: May 25, 2007 40
Roland Backhouse, Henk Doornbos Datatype-generic termination proofs November 6, 2006; Revised: April 14, 2007, May 31, 2007 33
Ulrich Berger, Tie Hou Coinductive Proofs for Basic Real Computation October 23, 2006; Revised: March 9, 2007 12-15
Jan Bergstra, John V. Tucker Division Safe Calculation in Totalised Fields1 September 20, 2006; Revised: March 23, 2007, June 4, 2007 13
David Doty Dimension Extractors and Optimal Decompression January 8, 2007; Revised: March 5, 2007 20
Christine Gaßner The Halting Problem for Additive Machines is Not Decidable by an Additive Machine with the Rational Numbers as an Oracle August 3, 2006; Revised: December 1, 2006, February 1, 2007 6
John Hitchcock, María López-Valdés, Elvira Mayordomo Scaled dimension and the Kolmogorov complexity of Turing-hard sets October 22, 2006; Revised: January 10, 2007 27-30
Margarita Korovina, Nicolai Vorobjov Bounds on sizes of finite bisimulations of Pfaffian dynamical systems September 28th, 2006; Revised: December 18, 2006 16
Lars Kristiansen Complexity theoretic hierarchies induced by fragments of Gödel's T October 22, 2006; Revised: February 2, 2007, March 23, 2007 25
Janos Makowsky Linear recurrences for graph polynomials October 30, 2006; Revised: February 28, 2007 15-17
Alban Ponse, Mark van der Zwaag Risk assessment for one-counter threads October 21, 2006; Revised: February 1, 2007 20
Helmut Schwichtenberg Realizability Interpretation of Proofs in Constructive Analzsis October 30, 2006; Revised: February 5, 2007 18
Xizhong Zheng Classification of the computable approximations by divergence bounding October 11, 2006; Revised: February 14, 2007 18