"Perspectives of System Informatics - 9th International Ershov Informatics ..."

Andrei Voronkov, Irina B. Virbitskaite (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics