ACM Transactions on Computational Logic (TOCL), Volume 9

Volume 9, Number 1, December 2007

Volume 9, Number 2, March 2008

Volume 9, Number 3, June 2008

Volume 9, Number 4, August 2008

maintained by Schloss Dagstuhl LZI at University of Trier