Information and Computation, Volume 230

Volume 230, September 2013

a service of Schloss Dagstuhl - Leibniz Center for Informatics