10. Ershov Memorial Conference 2015: Kazan and Innopolis, Russia

a service of Schloss Dagstuhl - Leibniz Center for Informatics