Journal of Logic and Algebraic Programming, Volume 47

Volume 47, Number 1, January-February 2001

Volume 47, Number 2, March-April 2001

a service of Schloss Dagstuhl - Leibniz Center for Informatics