ACM Transactions on Computational Logic, Volume 17

Volume 17, Number 1, December 2015

Volume 17, Number 2, March 2016

Volume 17, Number 3, July 2016

Volume 17, Number 4, November 2016

a service of Schloss Dagstuhl - Leibniz Center for Informatics