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

a service of Schloss Dagstuhl - Leibniz Center for Informatics