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 ObjectOriented Languages with Monitors 
October 22, 2006; Revised: May 25, 2007 
40 

Roland Backhouse, Henk Doornbos 
Datatypegeneric 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 
1215 

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ópezValdés, Elvira Mayordomo 
Scaled dimension and the Kolmogorov complexity of Turinghard sets 
October 22, 2006; Revised: January 10, 2007 
2730 

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 
1517 

Alban Ponse, Mark van der Zwaag 
Risk assessment for onecounter 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 
