Journal of Logic Programming, Volume 94

Volume 94, January 2018

Special Section on International Workshop on Coalgebraic Methods in Computer Science (CMCS 2016)
maintained by Schloss Dagstuhl LZI at University of Trier