Journal of Logic and Algebraic Programming, Volume 73

Volume 73, Numbers 1-2, September-October 2007

Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics