Journal of Logic and Algebraic Methods in Programming, Volume 107

Volume 107, October 2019

Regular papers Special Issue on selected papers of the 11th Interaction and Concurrency Experience ICE 2018 Regular papers Special issue on TRENDS2016 Special Issue on Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT?16)
a service of Schloss Dagstuhl - Leibniz Center for Informatics