Journal of Logical and Algebraic Methods in Programming
Note: The following journal information is for reference only. Please check the journal website for updated information prior to submission.
Journal Title
Journal of Logical and Algebraic Methods in Programming
J LOG ALGEBR METHODS
ISSN / eISSN
2352-2208 / 2352-2216
Aims and Scope
The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.
Subject Area
COMPUTER SCIENCE, THEORY & METHODS
LOGIC
CiteScore
2.60
View Trend
CiteScore Ranking
| Category | Quartile | Rank |
|---|---|---|
| Mathematics - Logic | Q1 | #9/41 |
| Mathematics - Computational Theory and Mathematics | Q3 | #91/176 |
| Mathematics - Theoretical Computer Science | Q3 | #70/130 |
| Mathematics - Software | Q3 | #276/407 |
Web of Science Core Collection
| Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
|---|---|
| Indexed | - |
| Category (Journal Citation Reports 2024) | Quartile |
|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | Q3 |
| LOGIC | Q1 |
H-index
9
Country/Area of Publication
UNITED STATES
Publisher
Elsevier BV
Annual Article Volume
44
Open Access
NO
Contact
STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started