ACM Transactions on Computational Logic, Volume 13

Volume 13, Number 1, January 2012

Volume 13, Number 2, April 2012

Volume 13, Number 3, August 2012

Volume 13, Number 4, October 2012

a service of Schloss Dagstuhl - Leibniz Center for Informatics