Journal of Logical and Algebraic Methods in Programming, Volume 127

Refine list

showing all ?? records

Volume 127, June 2022

Special issue on 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020) Special issue on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES) 2020 Selected papers from the 6th and 7th Workshops on Rewriting Techniques for Program Transformations and Evaluation Selected Papers from the 31st Nordic Workshop on Programming Theory, NWPT 2019 Special issue on 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020) Regular articles Special issue on 'E pur si muove' (A tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation) Special issue on Interaction and Concurrency Experience - ICE 2020 Special issue on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES) 2020 Selected Papers from the 31st Nordic Workshop on Programming Theory, NWPT 2019 Selected Papers from the 8th Workshops on Rewriting Techniques for Program Transformations and Evaluations
a service of  Schloss Dagstuhl - Leibniz Center for Informatics