"Perspectives of System Informatics - 10th International Andrei Ershov ..."

Manuel Mazzara, Andrei Voronkov (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics