Fundamenta Informaticae, Volume 142

Volume 142, Numbers 1-4, 2015

a service of Schloss Dagstuhl - Leibniz Center for Informatics