Journal of Logical and Algebraic Methods in Programming, Volume 111

Refine list

showing all ?? records

Volume 111, February 2020

Regular articles Special Issue on 20 Years of Coordination Models and Languages Special Issue on Rewriting logic and its applications (extended selected papers from WRLA 2018) Special Issue on DaLí-Dynamic Logics, new trends and applications ? Selected contributions Regular articles
a service of  Schloss Dagstuhl - Leibniz Center for Informatics