Journal of Logic and Algebraic Methods in Programming, Volume 94

Volume 94, January 2018

Special Section on International Workshop on Coalgebraic Methods in Computer Science (CMCS 2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics