Home › Search › ACM Transactions on Computational Logic ACM Transactions on Computational Logic Association for Computing Machinery (ACM) · United States · Est. 2000
ISSN 1529-3785 eISSN 1557-945X
SJR Q2 ✓ WOS SCIE ✓ Scopus / SJR
Score Breakdown
✓ WoS SCIE/SSCI +25
✓ Scopus Q2 +18
Total 43
✦ Inferred from recent articles This journal publishes research on the theoretical foundations of computation, logic, and their applications in computer science. Topics include formal verification, complexity theory, model checking, and the expressiveness of logical systems, with a focus on decidability, undecidability, and computational complexity.
AI-summarised from recent articles · verify on publisher page →
⚡ Speed vs Prestige
How does this journal balance review speed with impact level?
Q2
SJR Rank
Top 50% in field
Country / Region United States
Primary Language English
1st Year Published 2000
Annual Volume ~ 24 articles / year
Status Active (last: 2026)
Total Publications 798
Publisher Org Association for Computing Machinery
Peer Review —
Review Time —
Acceptance Rate —
OA License —
OA Rate —
COPE Member ✗ No
OASPA Member ✗ No
Not on Predatory Lists ✓ Yes
✅ Do you know the journal / publisher?
Association for Computing Machinery (ACM)
✅ Does the journal have a website?
✓ Linked
✅ Is the ISSN verified?
1529-3785 / 1557-945X
✅ Indexed in a trusted database?
WoS, Scopus
❌ Peer review process documented?
N/A
❌ Follows ethical publishing standards (COPE)?
N/A
❌ APC fees clearly disclosed?
N/A
✅ Not on predatory/blacklists?
✓ Clean
❌ Long-term digital preservation?
N/A
❌ Plagiarism detection in place?
N/A
❌ Listed in DOAJ (verified OA)?
N/A
✅ Primary language documented?
English
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Source: OpenAlex · Note: citations accumulate over time so older years appear higher
Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.
Computational Mathematics Q2
Computer Science (miscellaneous) Q2
Logic Q2
Theoretical Computer Science Q2
Web of Science Categories
Computer Science, Theory & Methods Logic
Scopus Categories
Computer Science (miscellaneous) Logic Theoretical Computer Science Computational Mathematics
Research Topics (OpenAlex)
Logic, Reasoning, and Knowledge Logic, programming, and type systems Formal Methods in Verification semigroups and automata theory Semantic Web and Ontologies Advanced Algebra and Logic Multi-Agent Systems and Negotiation Constraint Satisfaction and Optimization Complexity and Algorithms in Graphs Computability, Logic, AI Algorithms
Data updated: 2026-05-22 · Sources: SJR, DOAJ, OpenAlex, WoS, Crossref