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

maintained by Schloss Dagstuhl LZI at University of Trier