Journal of Logical and Algebraic Methods in Programming

Papers
(The H4-Index of Journal of Logical and Algebraic Methods in Programming is 6. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-02-01 to 2025-02-01.)
ArticleCitations
Optimizing term rewriting with creeper trace transducers21
A Perron–Frobenius theorem for deciding matrix growth12
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic12
Editorial Board12
Editorial Board10
Event structures for the reversible early internal π-calculus7
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic6
0.064170122146606