Fundamenta Informaticae, Volume 127

Volume 127, Numbers 1-4, 2013

a service of Schloss Dagstuhl - Leibniz Center for Informatics