ACM Transactions on Computational Logic Journal Citation Rate 2026
1529-3785
eISSN 1557-945X
Association for Computing Machinery
US
Q3 Quartile
About ACM Transactions on Computational Logic
ACM Transactions on Computational Logic (ATCL) is a peer-reviewed academic journal covering Formal Methods in Verification and Logic, Reasoning, and Knowledge, published by Association for Computing Machinery in US, catalogued under ISSN 1529-3785 (e-ISSN 1557-945X). As of 2026, it has a 2023 2-Year Citation Rate (OpenAlex) of 0.77 (Q3 quartile) — the average number of citations its recent articles received over a two-year window, computed from OpenAlex open citation data, not the Clarivate (JCR) Impact Factor. It operates a subscription model. OpenAlex records 807 works and 19,731 citations, with an h-index of 70.
Authors typically receive a first decision in around 77 days.
ACM Transactions on Computational Logic Citation Rate 2026 — In Context
ACM Transactions on Computational Logic has a 2023 2-Year Citation Rate (OpenAlex) of 0.77, placing it in the Q3 quartile within the Formal Methods in Verification research area. This is the average number of citations the journal's recent articles received over a two-year window, computed from OpenAlex open citation data — not the Clarivate (JCR) Journal Impact Factor.
ACM Transactions on Computational Logic operates a subscription-based publishing model — readers access articles through institutional subscriptions or pay-per-view. Average submission-to-decision turnaround is approximately 77 days.
Researchers looking to publish in ACM Transactions on Computational Logic should review the journal's submission tips and verify the latest indexing status against Scopus, DOAJ, and Web of Science using our indexing tracker. To compare ACM Transactions on Computational Logic against similar journals in the field, use our journal comparison tool.
Submission Tips for ACM Transactions on Computational Logic
- Be prepared for a longer review cycle — decisions typically take around 77 days.
- This journal covers Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems. Ensure your manuscript aligns with these scope areas to avoid desk rejection.
How ACM Transactions on … Compares
Compared against 17 journals in the same research areas.
| ISSN (Print) | 1529-3785 |
|---|---|
| ISSN (Online) | 1557-945X |
| Publisher | Association for Computing Machinery |
| Country | United States |
| APC / Cost | Inquire with Publisher |
| Review Speed | ~77 days to first decision |
In-depth profile & metrics
ACM Transactions on Computational Logic is published by Association for Computing Machinery and based in United States.
In our subject taxonomy, ACM Transactions on Computational Logic is classified under Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Semantic Web and Ontologies.
For prospective authors, ACM Transactions on Computational Logic returns a first decision in about 77 days (longer for its field).
Its most recent citation rate stands at 0.765.
Research Areas
Links
Continue on JournalsHub
Put what you just read into practice with these free tools.
Frequently Asked Questions about ACM Transactions on Computational Logic
Live Indexing Status
Updated March 2026Track real-time indexing metrics to ensure this journal meets your academic requirements.
Citation Rate
Historical Trend
Initial data points onlyCitation Rate by Year
| Year | Value | Source |
|---|---|---|
| 2023 | 0.765 | 2-Year Mean Citedness (OpenAlex) |
Metrics are sourced from OpenAlex, DOAJ and Scopus and reflect the latest data we hold. The headline figure is a 2-year citation rate (OpenAlex), not a Clarivate Impact Factor. Always verify against the journal's official site before relying on it. See our Methodology or report a correction.
Journal Metrics
Compare Journals
Compare ACM Transactions on Computati… against similar publications in its field:
Related Journals in Your Field
-
Decision Support Systems Elsevier BV IF 6.46
-
Information Processing & Management Elsevier BV IF 5.94
-
Artificial Intelligence Elsevier BV IF 3.06
-
Communications of the ACM Association for Computing Machinery IF 3.04
-
Software Practice and Experience Wiley IF 2.32
Explore More Journals
Metadata
Last updated: Mar 20, 2026
Updated by: system
Get weekly updates for Formal Methods in Verification journals
Free. Monday morning. New citation rates, CFPs, indexing alerts, predatory watch list. One-click unsubscribe.