ACM Transactions on Computational Logic (TOCL), Volume 12

Volume 12, Number 1, October 2010

Volume 12, Number 2, January 2011

Volume 12, Number 3, May 2011

Volume 12, Number 4, July 2011

a service of Schloss Dagstuhl - Leibniz Center for Informatics