Volume 379, Numbers 1-2, June 2007
: The differential lambdamu-calculus.
: Complexity results on branching-time pushdown model checking.
Volume 379, Number 3, June 2007
Automata, Languages and Programming Preface
: Algorithmic analysis of a basic evolutionary algorithm for continuous optimization.
, Ely Porat
: Efficient pebbling for list traversal synopses with application to program rollback.