Journal profile · COMPUTER SCIENCE, THEORY & METHODS-LOGIC
Journal of Logical and Algebraic Methods in Programming
ISSN 2352-2208 · eISSN 2352-2216 · Elsevier BV · UNITED STATES
Journal of Logical and Algebraic Methods in Programming: CAS Zone 4 · Mathematics (2025 upgraded edition); impact factor 0.98; hybrid open access; APC about USD 2,610; review about 339 days (submission to acceptance, publisher); 36 articles in 2025; indexed in SCIE and Scopus.
Scope
Aims, scope and focus
Journal of Logical and Algebraic Methods in Programming is published by Elsevier BV and is in Zone 4 of Mathematics in the CAS Journal Ranking (2025 upgraded edition). By OpenAlex counts of its recent articles, its largest topics are Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge, together about 41.4% of its articles. Its main subfields are Artificial Intelligence. (generated from OpenAlex topic counts and CAS ranking data)
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.Topics of interest to the journal include: • Applications of algebras, co-algebra and categories to programming • Applications of proof theory and model theory to programming • Constraint programming • Foundations of Programming Paradigms • Logic programming • Logical Foundations of Program Security • Models and Analytical Models for Cyber-Physical Systems • Process Calculi • Programming Models • Quantitative Methods for System Analysis • Specification and verification of systemsResearchers interested in acting as a guest editor should review the guest editor/proposal guidelines.The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.
From the journal's Aims & Scope
Research area (LetPub): COMPUTER SCIENCE, THEORY & METHODS-LOGIC
Editor-in-chief Alberto Lluch LafuentePublisher website
Editorial board by country: 2 in mainland China (about 5%); most named Italy 7, United Kingdom 6, United States 5, Mainland China 2, Spain 2 (37 members with a country) Editorial board ↗Publisher website ·
Main research topics OpenAlex counts of recent articles; shares are approximate
- Logic, programming, and type systemsComputer Science16.6%
- Formal Methods in VerificationComputer Science15.3%
- Logic, Reasoning, and KnowledgeComputer Science9.4%
- Distributed systems and fault toleranceComputer Science5.8%
- Diverse Scientific and Economic StudiesEconomics, Econometrics and Finance4.9%
- Human auditory perception and evaluationEngineering4.8%
- Educational Robotics and EngineeringComputer Science4.8%
- Model-Driven Software Engineering TechniquesComputer Science4.4%
Rankings & indexing
CAS ranking and database indexing
CAS Journal Ranking
CAS Journal Ranking, upgraded edition (March 2025)Mathematics Zone 4
| Level | Category | Zone |
|---|---|---|
| Major | Mathematics | Zone 4 |
| Minor | Computer Science, Theory & Methods | Zone 4 |
| Minor | Logic | Zone 4 |
Top journal: noReview journal: no
CAS Xinrui Journal Ranking (March 2026)Mathematics Zone 3
| Level | Category | Zone |
|---|---|---|
| Major | Mathematics | Zone 3 |
| Minor | Computer Science, Theory & Methods | Zone 3 |
| Minor | Logic | Zone 3 |
Top journal: noReview journal: not marked
CAS Journal Ranking, previous upgraded edition (December 2023)Mathematics Zone 4
| Level | Category | Zone |
|---|---|---|
| Major | Mathematics | Zone 4 |
| Minor | Computer Science, Theory & Methods | Zone 4 |
| Minor | Logic | Zone 4 |
Top journal: noReview journal: no
Database indexing
SCIEScopusLetPub
International journal early-warning lists: not listed in any editionLetPub
Editions, and major and minor categories, are shown separately and never merged into one zone; check which edition your institution uses before you submit or report.
Metrics
Impact metrics and publication volume
Impact
- Impact factor
- 0.98LetPub ·
- Impact factor (publisher)
- 1Publisher website ·
- CiteScore 2026-06
- 2.9LetPub ·
- CiteScore (publisher)
- 2.9Publisher website ·
- SJR 2026-06
- 0.31LetPub ·
- SNIP 2026-06
- 0.6LetPub ·
- h-index
- 9LetPub ·
- h-index
- 28OpenAlex ·
- i10-index
- 137OpenAlex ·
- 2-year mean citedness
- 0.9OpenAlex ·
- Self-citation rate
- 20%LetPub ·
- Share of gold OA articles
- 46.02%LetPub ·
Volume
- Articles per year
- 24LetPub ·
Articles by year OpenAlex count · 776 in total · the current year is incomplete
| Year | Articles | Open access | Citations |
|---|---|---|---|
| 2026 | 57 | 41 | 5 |
| 2025 | 36 | 15 | 16 |
| 2024 | 46 | 28 | 104 |
| 2023 | 56 | 35 | 189 |
| 2022 | 56 | 47 | 187 |
| 2021 | 58 | 58 | 303 |
Sources count differently and were observed at different times, so each source's own value is kept; "publisher" marks figures from the journal's website.
Review & acceptance
Review time and acceptance
Publisher-reported review time from the journal's website
339 dayssubmission to acceptance
The publisher's own definition applies; dates from this journal's articles in the last 24 months are not available yet, so the publisher's figure is used.
Figures by source
- Submission to first decision
- 1 daysPublisher website ·
- First decision after review
- 121 daysPublisher website ·
- Submission to acceptance
- 339 daysPublisher website ·
- Acceptance to publication
- 8 daysPublisher website ·
- Peer review
- Single anonymous peer reviewPublisher website
Community reports come from authors' own submissions (confidence 0.5) and are not a promise from the journal; for publisher figures, the journal's own definitions apply.
Fees & open access
APC and open-access policy
Hybrid open accessLetPub
A subscription journal in which authors can pay to publish their article open access.
| Source | APC | Fee waiver | License | Observed |
|---|---|---|---|---|
| OpenAlex | USD 2,610 / EUR 2,440 / GBP 2,090 / JPY 323,720 | — | — | |
| Publisher website | Yes, amount not published | — | — |
A hybrid journal charges the APC only when the author chooses open access; publishing under the subscription model is usually free.
The journal's website is authoritative for fees; sources were observed at different times and each keeps its own value, without averaging.
Submission
Article types and submission policies (journal website)
Open calls for papers4, by deadline
Publisher websiteWhat to prepare4 items from the author guidelines
- Abstract
- ≤ 250 words
- Keywords
- 1–7
- Reference style
- Numbered, in order of citation
- Templates
- LaTeX
Policy excerpts from the journal's websiteAI use, Authorship, Conflicts of interest, Publication ethics, License & copyright, Open access, Peer review, Preprints
- AI use Declaration of generative AI use
Authors must declare the use of generative AI tools in the manuscript preparation process upon submission of the paper.Generative AI and AI-assisted technologies (“AI tools”) have been rapidly adopted in research and scholarly publishing, offering significant benefits while requiring clear standards for responsible and transparent use.Authors preparing a manuscript for this journal may use AI tool…
Source ↗Publisher website ·- Authorship Group authorship
Group authorship refers to the attribution of an article to a defined and named group of authors whose members have contributed to the work. Examples include research consortia, clinical trial groups, collaborative networks, task forces or working groups, expert panels or consensus groups, and participatory research groups. Group authorship must be declared on the title page at submission. When av…
Source ↗Publisher website ·- Conflicts of interest Declaration of competing interests
All authors must disclose any financial and personal relationships with other people or organizations that could inappropriately influence or bias their work. Examples of potential competing interests include:EmploymentConsultanciesStock ownershipHonorariaPaid expert testimonyPatent applications or registrationsGrants or any other fundingAffiliation with the journal as an Editor or Advisory Board …
Source ↗Publisher website ·- Publication ethics
Follow Elsevier's Publishing Ethics Policy Model summary
Authors must follow ethical guidelines stated in Elsevier's Publishing Ethics Policy.
Source ↗Publisher website ·- License & copyright License options
Authors will be offered open access user license options which will determine how you, and third parties, can reuse your open access article. We advise that you review these options and any funding body license requirements before selecting a license option.
Source ↗Publisher website ·- Open access Open access
Open Archive: all published items free to read 48 months after publication Model summary
We refer you to our open access information page to learn about open access options for this journal.
Source ↗Publisher website ·- Peer review Peer review
Single anonymized review process Model summary
This journal follows a single anonymized review process. Your submission will initially be assessed by our editors. If your submission is deemed suitable, it will typically be sent to be reviewed by a minimum of two reviewers for an independent expert assessment of the scientific quality. The decision as to whether your article is accepted or rejected for publication will be made by our editors.Re…
Source ↗Publisher website ·- Preprints Preprints
Preprint sharing allowed; does not count as prior publication Model summary
Preprint sharingAuthors may share preprints in line with Elsevier's article sharing policy. Sharing preprints, such as on a preprint server, will not count as prior publication.We advise you to read our policy on multiple, redundant or concurrent publication. In support of Open Science, this journal offers its authors a free preprint posting service on SSRN, Elsevier’s preprint and early research …
Source ↗Publisher website ·
Excerpts are quoted from the journal's website; "model summary" lines are written by Workers AI and checked against the text. The journal's website is authoritative.
Profile
Publication details and official links
- Publisher
- Elsevier BV
- Country or region
- UNITED STATES
- Language
- English
- ISSN
- 2352-2208
- Electronic ISSN
- 2352-2216
- Official links
- Journal homepage ↗OpenAlex
- Submission system ↗Publisher website
- Special issues ↗Publisher website
FAQ
Frequently asked questions about Journal of Logical and Algebraic Methods in Programming
What CAS zone is Journal of Logical and Algebraic Methods in Programming in?
In the 2025 upgraded edition of the CAS Journal Ranking, Journal of Logical and Algebraic Methods in Programming is in Zone 4 of Mathematics, and in Zone 4 of the minor category Computer Science, Theory & Methods / Logic. In the 2026 Xinrui edition it is in Zone 3 of Mathematics. Zones from different editions, and from major and minor categories, are not interchangeable.
What is the impact factor of Journal of Logical and Algebraic Methods in Programming?
The latest impact factor listed by LetPub is 0.98; CiteScore 2.9, h-index 28.
How long does peer review take at Journal of Logical and Algebraic Methods in Programming?
The publisher reports about 339 days (submission to acceptance). Article statistics cover accepted papers only, publisher figures follow the journal's own definitions, and community reports come from authors' own submissions; none is a promise from the journal.
What are the manuscript requirements of Journal of Logical and Algebraic Methods in Programming?
According to the journal's author guidelines: Abstract: ≤ 250 words; Keywords: 1–7; Reference style: Numbered, in order of citation; Templates: LaTeX. A model extracted these from the author guidelines and each was checked against the text; check the latest version on the journal's website before submitting.
Where are the editorial board members of Journal of Logical and Algebraic Methods in Programming based?
Of the 37 board members whose country the journal's board page names, 2 (about 5%) are in mainland China; the countries named most often are Italy (7), United Kingdom (6) and United States (5). Counted from the institutions listed on the board page; for reference only.
Which databases index Journal of Logical and Algebraic Methods in Programming?
According to LetPub and DOAJ records, Journal of Logical and Algebraic Methods in Programming is indexed in SCIE and Scopus.
Is Journal of Logical and Algebraic Methods in Programming open access, and what is the APC?
Journal of Logical and Algebraic Methods in Programming is a hybrid journal. For open-access publication: APC about USD 2,610.
Sources and updates
The facts on this page come from LetPub, Publisher website, OpenAlex; every figure is tagged with its source and the date it was observed, and conflicting values are kept per source. LetPub source page: view ↗ (archived 2026-08-24). Last updated: .