Journal of Logical and Algebraic Methods in Programming - Research Database, The University of York

Journal of Logical and Algebraic Methods in Programming

ISSNs: 2352-2208

Additional searchable ISSN (Electronic): 2352-2216

Elsevier

Scopus rating (2021): CiteScore 3 SJR 0.615 SNIP 1.179

Journal

Publications

1 - 3 out of 3Page size: 25

RSS feed of this list

Sort by: Publication date

2021
Automated verification of reactive and concurrent programs by calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 14 Apr 2021
Article in Journal of Logical and Algebraic Methods in Programming
2019
Preface to the special issue on the 10th International Conference on Graph Transformation
Plump, D. & de Lara, J., 1 Apr 2019
Article in Journal of Logical and Algebraic Methods in Programming
2017
From Imperative to Rule-based Graph Programs
Plump, D., Mar 2017
Article in Journal of Logical and Algebraic Methods in Programming

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data