Journal of Logic and Algebraic Programming, Volume 52-53

Volume 52-53, July - August 2002

maintained by Schloss Dagstuhl LZI at University of Trier