Information and Computation, Volume 214

Volume 214, May 2012

a service of Schloss Dagstuhl - Leibniz Center for Informatics