Journal of Logic and Algebraic Methods in Programming, Volume 106

Volume 106, August 2019

Special Issue on The 29th Nordic Workshop on Programming Theory (NWPT 2017) Regular papers Special Issue on Interaction and Concurrency Experience Special Issue on Relational and Algebraic Methods in Computer Science Regular papers Special Issue on DaLí-Dynamic Logics, new trends and applications ? Selected contributions Special Issue on Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT?16) Special Issue on Programming Language Approaches to Concurrency and Communication-cEntric Software Special Issue on Relational and Algebraic Methods in Computer Science
a service of Schloss Dagstuhl - Leibniz Center for Informatics