Journal of Logical and Algebraic Methods in Programming, Volume 126

Refine list

showing all ?? records

Volume 126, April 2022

Special issue on Rewriting Logic and Its Applications.13th International Workshop, WRLA 2020, Revised Selected Papers Regular articles Special issue on 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics