ACM Transactions on Computational Logic : Impact Factor & More
eISSN: 1557-945XpISSN: 1529-3785
Share this on:
Key Metrics
CiteScore 
2.6
H-Index
51
Impact Factor
< 5
SJR
Q1Logic
SNIP
0.99
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on ACM Transactions on Computational Logic
ACM Transactions on Computational Logic Journal Specifications
| Overview | |
| Publisher | ASSOC COMPUTING MACHINERY |
| Language | English |
| Frequency | Quarterly |
| General Details | |
| Language | English |
| Frequency | Quarterly |
| Publication Start Year | 2000 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in ACM Transactions on Computational Logic ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in ACM Transactions on Computational Logic
Cyclic Implicit Complexity
- 31 Jan 2026
- ACM Transactions on Computational Logic
Homomorphism Preservation Theorems for Many-Valued Structures
- 28 Jan 2026
- ACM Transactions on Computational Logic
An abstract fixed-point theorem for Horn formula equations
- 15 Dec 2025
- ACM Transactions on Computational Logic
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
- 11 Dec 2025
- ACM Transactions on Computational Logic
Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
- 14 Oct 2025
- ACM Transactions on Computational Logic
Dependently-Typed Higher-Order Logic
- 14 Oct 2025
- ACM Transactions on Computational Logic
Cyclic Implicit Complexity
- 31 Jan 2026
- ACM Transactions on Computational Logic
Homomorphism Preservation Theorems for Many-Valued Structures
- 28 Jan 2026
- ACM Transactions on Computational Logic
An abstract fixed-point theorem for Horn formula equations
- 15 Dec 2025
- ACM Transactions on Computational Logic
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
- 11 Dec 2025
- ACM Transactions on Computational Logic
Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
- 14 Oct 2025
- ACM Transactions on Computational Logic
Dependently-Typed Higher-Order Logic
- 14 Oct 2025
- ACM Transactions on Computational Logic
FAQs on ACM Transactions on Computational Logic
How long has ACM Transactions on Computational Logic been actively publishing? 
What is the publishing frequency of ACM Transactions on Computational Logic?
How many articles did ACM Transactions on Computational Logic publish last year?
What is the eISSN & pISSN for ACM Transactions on Computational Logic?
What is Citescore for ACM Transactions on Computational Logic?
What is the H Index for ACM Transactions on Computational Logic ?
What is SNIP score for ACM Transactions on Computational Logic?
What is the SJR for ACM Transactions on Computational Logic?
Who is the publisher of ACM Transactions on Computational Logic?
