Journal of Logical and Algebraic Methods in Programming, Volume 129

Refine list

showing all ?? records

Volume 129, November 2022

Specification and Modelling of Computing Systems through Graphs and Graph Transformation Interaction and Concurrency Experience 2021 Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday
a service of  Schloss Dagstuhl - Leibniz Center for Informatics