Journal of Logical and Algebraic Methods in Programming, Volume 118

Refine list

showing all ?? records

Volume 118, January 2021

Special issue on Relational and Algebraic Methods in Computer Science 2018 Regular Articles Interaction and Concurrency Experience 2019 Working Formal Methods (extended selected papers from FROM 2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics