Volume 47, Number 1, July 2010
Special Section:
Algorithmic Game Theory
Dimitris Fotakis:
Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy.
113-136
Olaf Beyersdorff:
The Deduction Theorem for Strong Propositional Proof Systems.
162-178
Volume 47, Number 2, August 2010
Volume 47, Number 3, October 2010
Symposium on Theoretical Aspects of Computer Science
Volume 47, Number 4, November 2010
Parallelism on Algorithms and Architectures (SPAA)