Journal of Logic and Algebraic Methods in Programming, Volume 95

Volume 95, February 2018

a service of Schloss Dagstuhl - Leibniz Center for Informatics