Volume 10, Number 1, January 2009
: A logical characterization of the counting hierarchy.
Volume 10, Number 2, February 2009
Volume 10, Number 3, April 2009
: Checking timed Büchi automata emptiness on simulation graphs.
: Simultaneous checking of completeness and ground confluence for algebraic specifications.
Volume 10, Number 4, August 2009
Ugo Dal Lago
: Context semantics, linear logic, and computational complexity.