Journal of Logical and Algebraic Methods in Programming, Volume 132

Refine list

showing all ?? records

Volume 132, April 2023

Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday Regular articles Selected Papers from the 8th Workshops on Rewriting Techniques for Program Transformations and Evaluations Interaction and Concurrency Experience 2021 Regular articles Selected papers from 20th Workshop on Programming and Languages (PROLE 2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics