Journal of Logical and Algebraic Methods in Programming, Volume 122

Refine list

showing all ?? records

Volume 122, August 2021

Special issue on Relational and Algebraic Methods in Computer Science 2018 Special issue on 30th Nordic Workshop on Programming Theory (NWPT 2018) Selected papers from the 6th and 7th Workshops on Rewriting Techniques for Program Transformations and Evaluation Special issue on Dynamic Logic: New Trends and Applications
a service of  Schloss Dagstuhl - Leibniz Center for Informatics