Volume 346, Number 1, 23 November 2005
Quantitative Aspects of Programming Languages (QAPL 2004)
: On finite-state approximants for probabilistic computation tree logic.
Volume 346, Numbers 2-3, 28 November 2005
Alberto Del Lungo (1965-2003)
: Reduction from three-dimensional discrete tomography to multicommodity flow problem.
: Monotone runs of uniformly distributed integer random variables: A probabilistic analysis.
: Reconstruction of convex polyominoes from orthogonal projections of their contours.
: Rauzy substitutions and multi-dimensional Sturmian words.