Journal profile · Computer Science, Theory & Methods
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
ISSN 1567-8326 · UNITED STATES · Bimonthly
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING: impact factor 1 (journal website); subscription journal; review about 339 days (submission to acceptance, publisher); community-reported acceptance: easy; 0 articles in 2025.
Scope
Aims, scope and focus
By OpenAlex counts of its recent articles, JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING's largest topics are Logic, programming, and type systems, Formal Methods in Verification and Advanced Algebra and Logic, together about 57.3% of its articles. Its main subfields are Computational Theory and Mathematics. (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
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 Science29.5%
- Formal Methods in VerificationComputer Science17.5%
- Advanced Algebra and LogicComputer Science10.4%
- Logic, Reasoning, and KnowledgeComputer Science6.7%
- semigroups and automata theoryComputer Science5.7%
- Petri Nets in System ModelingComputer Science4.3%
- Model-Driven Software Engineering TechniquesComputer Science4%
- Computability, Logic, AI AlgorithmsComputer Science2.8%
Rankings & indexing
CAS ranking and database indexing
CAS Journal Ranking
CAS Journal Ranking, upgraded edition (March 2025)Not covered
Not covered by this edition.
CAS Xinrui Journal Ranking (March 2026)Not covered
Not covered by this edition.
CAS Journal Ranking, previous upgraded edition (December 2023)Not covered
Not covered by this edition.
Database indexing
Indexed in: no record yet.
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 (publisher)
- 1Publisher website ·
- CiteScore (publisher)
- 2.9Publisher website ·
- h-index
- 30LetPub ·
- h-index
- 44OpenAlex ·
- i10-index
- 202OpenAlex ·
- 2-year mean citedness
- 0OpenAlex ·
- Share of gold OA articles
- 0%LetPub ·
Articles by year OpenAlex count · 581 in total · the current year is incomplete
| Year | Articles | Open access | Citations |
|---|---|---|---|
| 2026 | 0 | 0 | 234 |
| 2025 | 0 | 0 | 234 |
| 2024 | 0 | 0 | 272 |
| 2023 | 0 | 0 | 269 |
| 2022 | 0 | 0 | 355 |
| 2021 | 0 | 0 | 377 |
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 · community reports over 12 weeks
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
- Average review time (community reports)
- over 12 weeksLetPub ·
- Average acceptance (community reports)
- EasyLetPub ·
- 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
Subscription journalLetPub
A subscription journal: articles are read by subscription or purchase, and authors usually pay no publication charge.
No source has fee information yet; check the journal's website.
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 prepare7 items from the author guidelines
- Abstract
- ≤ 250 words
- Keywords
- 1–7
- Reference style
- Numbered, in order of citation
- Suggested reviewers
- Required
- Highlights
- Required
- Graphical abstract
- Required
- Cover letter
- Required
Policy excerpts from the journal's websiteAI use, Authorship, Conflicts of interest, 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 ·- 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: published items remain permanently free to read and download 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
Free preprint posting service on SSRN. 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
- Country or region
- UNITED STATES
- Frequency
- Bimonthly
- ISSN
- 1567-8326
- Official links
- Journal homepage ↗OpenAlex
- Submission system ↗Publisher website
- Special issues ↗Publisher website
FAQ
Frequently asked questions about JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
What is the impact factor of JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING?
The journal's website gives an impact factor of 1; this is the journal's own figure, as LetPub lists none for it; h-index 44.
How long does peer review take at JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING?
The publisher reports about 339 days (submission to acceptance); authors report an average review time of over 12 weeks; the community-reported acceptance is “Easy”. 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 LOGIC AND ALGEBRAIC PROGRAMMING?
According to the journal's author guidelines: Abstract: ≤ 250 words; Keywords: 1–7; Reference style: Numbered, in order of citation; Suggested reviewers: Required; Highlights: Required; Graphical abstract: Required; Cover letter: Required. 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 LOGIC AND ALGEBRAIC 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.
Is JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING open access, and what is the APC?
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING is a subscription journal. Fee information is not available yet; check the journal's website.
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-25). Last updated: .