Journal of Logical and Algebraic Methods in Programming, Volume 134

Refine list

showing all ?? records

Volume 134, August 2023

Selected papers from 20th Workshop on Programming and Languages (PROLE 2021) Regular articles Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday Regular articles Specification and Modelling of Computing Systems through Graphs and Graph Transformation (extended selected papers from ICGT 2022)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics