Journal of Logic and Algebraic Programming, Volume 77

Volume 77, Numbers 1-2, September - October 2008

maintained by Schloss Dagstuhl LZI, founded at University of Trier