Journal of Logical and Algebraic Methods in Programming, Volume 136

Refine list

showing all ?? records

Volume 136, January 2024

Regular articles Special issue Selected papers of ICFEM 2022 Special issue Specification and Modelling of Computing Systems through Graphs and Graph Transformation (extended selected papers from ICGT 2022) Special issue Interaction and Concurrency Experience Regular articles Special issue Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday Special issue on the 14th Conference on Reversible Computation (RC 2022) Selected papers from 21st Workshop on Programming and Languages (PROLE 2022) Regular articles Selected papers from the 14th International Workshop on Rewriting Logic and its Application (WRLA 2022)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics