ACM Transactions on Computational Logic (TOCL), Volume 10

Volume 10, Number 1, January 2009

Volume 10, Number 2, February 2009

Volume 10, Number 3, April 2009

Volume 10, Number 4, August 2009

maintained by Schloss Dagstuhl LZI at University of Trier