SCIESCOPUSQ1
Journal of Logical and Algebraic Methods in Programming
ELSEVIER SCIENCE INC, United States
Journal of Logical and Algebraic Methods in Programming is an academic journal published by ELSEVIER SCIENCE INC (United States). Identifiers: ISSN 2352-2208, eISSN 2352-2216. Indexed in SCIE, SCOPUS. Metrics: JIF 1.2, CiteScore 2.8, SJR 0.442, SNIP 0.90. Subject areas: COMPUTER SCIENCE, LOGIC, THEORY & METHODS. tlooto lists 74 papers from this journal.
CiteScore
2.80
Scopus citation metric
SJR
0.442
SCImago rank
SNIP
0.90
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 2352-2208
- eISSN
- 2352-2216
- Abbreviation
- J LOG ALGEBR METHODS
- Publisher
- ELSEVIER SCIENCE INC
- Country
- United States
Web of Science categories
SCIECOMPUTER SCIENCE, LOGIC, THEORY & METHODS
Scopus ASJC categories
170317122609 Logic2614 Theoretical Computer Science
Keywords
Computer Science, Theory & Methods | Logic
Papers in this journal
Recent papers
- Graph-based algorithms for testing convexity of 2DNF
2027
- Nominal anti-unification modulo equational theories
2026 · 1 citations
- Towards a formal digital twin of the PTP protocol using Automata Learning
2026
- Unification and anti-unification in applicative matching logic
2026
- Verification of time-bounded multiset rewriting properties
2026
Most cited papers
- Compositional separation of control flow and data flow
2026 · 2 citations
- Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)
2025 · 1 citations
- Makina: A QuickCheck state machine library
2026 · 1 citations
- DM-Check: Verifying invariants of concurrent systems by deductive model checking
2026 · 1 citations
- Combining sequential test cases into an equivalent set of adaptive test cases
2026 · 1 citations