ACM Transactions on Computational Logic, Volume 15

Volume 15, Number 1, February 2014

Volume 15, Number 2, April 2014

Volume 15, Number 3, August 2014

Volume 15, Number 4, August 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics