CiE-CS
Computability in Europe
Computability in Europe
Arnold Beckmann, Benedikt Löwe, (eds.), Computability in Europe 2006.
Special issue of the journal Theory of Computing Systems.
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 | |