Volume 207, Number 1, January 2009
: A Rice-style theorem for parallel automata.
Volume 207, Number 2, February 2009
: Mobility control via passports.
: An Observational Theory for Mobile Ad Hoc Networks (full version).
: Bialgebraic methods and modal logic in structural operational semantics.
Volume 207, Number 3, March 2009
: Existentially restricted quantified constraint satisfaction.
Volume 207, Number 4, April 2009
Volume 207, Number 5, May 2009
Volume 207, Number 6, June 2009
Volume 207, Number 7, July 2009
Volume 207, Number 8, August 2009
: Data-complexity of the two-variable fragment with counting quantifiers.
: The equality problem for infinite words generated by primitive morphisms.
Volume 207, Number 9, September 2009
Volume 207, Number 10, October 2009
Preface - Special issue:
13th Workshop on Logic, Language, Information and Computation (WoLLIC
: Propositional games with explicit strategies.
Dan E. Willard
: Some specially formulated axiomizations for ISigma0 manage to evade the Herbrandized version of the Second Incompleteness Theorem.
Volume 207, Number 11, November 2009
, Jörg Rothe
: The three-color and two-color TantrixTM rotation puzzle problems are NP-complete via parsimonious reductions.
: On the induction operation for shift subspaces and cellular automata as presentations of dynamical systems.
: Asymptotic behavior of the numbers of runs and microruns.
: Minimizing deterministic weighted tree automata.
S. A. Puzynina
: On periodicity of generalized two-dimensional infinite words.
Volume 207, Number 12, December 2009
: On the round complexity of Byzantine agreement without initial set-up.