ACM Transactions on Computational Logic, Volume 19

Volume 19, Number 1, February 2018

Volume 19, Number 2, June 2018

Volume 19, Number 3, September 2018

Volume 19, Number 4, December 2018

maintained by Schloss Dagstuhl LZI, founded at University of Trier