ACM Transactions on Computational Logic, Volume 16

Volume 16, Number 1, September 2014 / March 2015

Volume 16, Number 2, March 2015

Volume 16, Number 3, July 2015

Volume 16, Number 4, November 2015

Regular Papers
a service of Schloss Dagstuhl - Leibniz Center for Informatics