Journal of Logical and Algebraic Methods in Programming : Impact Factor & More
eISSN: 2352-2216pISSN: 2352-2208
Share this on:
Key Metrics
CiteScore 
3
H-Index
19
Impact Factor
< 5
SJR
Q1Logic
SNIP
1.18
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming Journal Specifications
| Overview | |
| Publisher | ELSEVIER SCIENCE INC |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 2014 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Journal of Logical and Algebraic Methods in Programming ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Journal of Logical and Algebraic Methods in Programming
Should computations halt?
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Safe orchestrated multicomposition of systems of communicating finite state machines
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Verification of time-bounded multiset rewriting properties
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Unification and anti-unification in applicative matching logic
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Compositional Separation of Control Flow and Data Flow
- 1 Mar 2026
- Journal of Logical and Algebraic Methods in Programming
Editorial Board
- 1 Mar 2026
- Journal of Logical and Algebraic Methods in Programming
Should computations halt?
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Safe orchestrated multicomposition of systems of communicating finite state machines
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Verification of time-bounded multiset rewriting properties
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Unification and anti-unification in applicative matching logic
- 1 Jun 2026
- Journal of Logical and Algebraic Methods in Programming
Compositional Separation of Control Flow and Data Flow
- 1 Mar 2026
- Journal of Logical and Algebraic Methods in Programming
Editorial Board
- 1 Mar 2026
- Journal of Logical and Algebraic Methods in Programming
FAQs on Journal of Logical and Algebraic Methods in Programming
How long has Journal of Logical and Algebraic Methods in Programming been actively publishing? 
What is the publishing frequency of Journal of Logical and Algebraic Methods in Programming?
How many articles did Journal of Logical and Algebraic Methods in Programming publish last year?
What is the eISSN & pISSN for Journal of Logical and Algebraic Methods in Programming?
What is Citescore for Journal of Logical and Algebraic Methods in Programming?
What is the H Index for Journal of Logical and Algebraic Methods in Programming ?
What is SNIP score for Journal of Logical and Algebraic Methods in Programming?
What is the SJR for Journal of Logical and Algebraic Methods in Programming?
Who is the publisher of Journal of Logical and Algebraic Methods in Programming?
