Journal of Logical and Algebraic Methods in Programming

The Journal of Logic and Algebraic Programming (2001-2014)

a service of  Schloss Dagstuhl - Leibniz Center for Informatics