Volume 351, Number 1, 14 February 2006
Real Numbers and Computers
Matthew W. Parker
: Three concepts of decidability for general subsets of uncountable spaces.
: Stability versus speed in a computable algebraic model.
: Implementing exact real arithmetic in python, C++ and C.
, I. Robinson
: Quadrature using 64-bit IEEE arithmetic for integrands over [0, 1] with a singularity at 1.
Volume 351, Number 2, 21 February 2006
Algebraic Methodology and Software Technology
: Extending separation logic with fixpoints and postponed substitution.
Volume 351, Number 3, 28 February 2006
Parameterized and Exact Computation
: Parameterized enumeration, transversals, and imperfect phylogeny reconstruction.
: Parameterized graph separation problems.
: Parameterized coloring problems on chordal graphs.