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
maintained by Schloss Dagstuhl LZI, founded at University of Trier