Journal profile · Computer Science, Theory & Methods
ACM Transactions on Computational Logic
ISSN 1529-3785 · eISSN 1557-945X · Association for Computing Machinery (ACM) · UNITED STATES · Quarterly
ACM Transactions on Computational Logic: CAS Zone 4 · Mathematics (2025 upgraded edition); impact factor 1.1; hybrid open access; median 331 days to acceptance (50 articles, last 24 months); community-reported acceptance: easy; 27 articles in 2025; indexed in SCIE and Scopus.
Scope
Aims, scope and focus
ACM Transactions on Computational Logic is published by Association for Computing Machinery (ACM) 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, Reasoning, and Knowledge, Logic, programming, and type systems and Formal Methods in Verification, together about 56.9% of its articles. Its main subfields are Computational Theory and Mathematics and Artificial Intelligence. (generated from OpenAlex topic counts and CAS ranking data)
ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages.
From the journal's Aims & Scope
Research area (LetPub): Computer Science, Theory & Methods
Editor-in-chief Anuj DawarPublisher website
Main research topics OpenAlex counts of recent articles; shares are approximate
- Logic, Reasoning, and KnowledgeComputer Science20.7%
- Logic, programming, and type systemsComputer Science19.9%
- Formal Methods in VerificationComputer Science16.3%
- semigroups and automata theoryComputer Science6%
- Semantic Web and OntologiesComputer Science5.4%
- Advanced Algebra and LogicComputer Science4.2%
- Multi-Agent Systems and NegotiationComputer Science3.3%
- Constraint Satisfaction and OptimizationComputer Science2.7%
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
- 1.1LetPub ·
- CiteScore 2026-06
- 2.6LetPub ·
- SJR 2026-06
- 0.51LetPub ·
- SNIP 2026-06
- 1.38LetPub ·
- h-index
- 43LetPub ·
- h-index
- 71OpenAlex ·
- i10-index
- 377OpenAlex ·
- 2-year mean citedness
- 0.99OpenAlex ·
- Self-citation rate
- 0%LetPub ·
- Share of gold OA articles
- 22.89%LetPub ·
Volume
- Articles per year
- 23LetPub ·
Articles by year OpenAlex count · 814 in total · the current year is incomplete
| Year | Articles | Open access | Citations |
|---|---|---|---|
| 2026 | 23 | 16 | 4 |
| 2025 | 27 | 26 | 18 |
| 2024 | 23 | 18 | 50 |
| 2023 | 24 | 24 | 78 |
| 2022 | 38 | 27 | 230 |
| 2021 | 30 | 23 | 115 |
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
Review time from article dates manuscript dates registered with Crossref · to
331 daysMedian, submission to acceptance · P25–P75 268 days – 550 days
- Acceptance to online
- median 69 days (50 articles)
- Submission to online
- median 411 days
- Sample
- 50 articles with submission and acceptance dates (60 in the window); the latest was accepted on
Only articles that were accepted and published are counted, not the time spent on rejected manuscripts, so this usually runs longer than a publisher's "time to first decision".
Other sources
- Average review time (community reports)
- over 12 weeksLetPub ·
- Average acceptance (community reports)
- EasyLetPub ·
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.
No source has fee information yet; check the journal's website.
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)
Policy excerpts from the journal's websiteAuthorship, Peer review
- Authorship
ACM introduced a new Policy on Authorship covering key topics including the use of generative AI tools. Model summary
ACM has a new Policy on Authorship, covering a range of key topics, including the use of generative AI tools.
Source ↗Publisher website ·- Peer review
ACM updated its Peer Review Policy; an FAQ addresses confidentiality, use of large language models in peer review, conflicts of interest, and other concerns. Model summary
ACM is pleased to announce that its Publications Board has approved an updated Peer Review Policy.
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
- Association for Computing Machinery (ACM)
- Country or region
- UNITED STATES
- Language
- English
- Frequency
- Quarterly
- ISSN
- 1529-3785
- Electronic ISSN
- 1557-945X
- Latest issue on the website
- Volume 27, Issue 4 (October 2026)
- Official links
- Journal homepage ↗OpenAlex
- Submission system ↗Publisher website
- Special issues ↗Publisher website
FAQ
Frequently asked questions about ACM Transactions on Computational Logic
What CAS zone is ACM Transactions on Computational Logic in?
In the 2025 upgraded edition of the CAS Journal Ranking, ACM Transactions on Computational Logic 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 ACM Transactions on Computational Logic?
The latest impact factor listed by LetPub is 1.1; CiteScore 2.6, h-index 71.
How long does peer review take at ACM Transactions on Computational Logic?
Based on the dates recorded on 50 articles published between October 2024 and October 2026 (the last 24 months), the median time from submission to acceptance is 331 days (interquartile range 268–550 days); 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.
Which databases index ACM Transactions on Computational Logic?
According to LetPub and DOAJ records, ACM Transactions on Computational Logic is indexed in SCIE and Scopus.
Is ACM Transactions on Computational Logic open access, and what is the APC?
ACM Transactions on Computational Logic is a hybrid journal. Fee information is not available yet; check the journal's website.
Sources and updates
The facts on this page come from LetPub, OpenAlex, Publisher website; 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: .