Explore All Access
Check if your research matches the topics covered in ACM Transactions on Computational Logic?
- Degree of match
- Common matching concepts
- Additional journal recommendations
ACM Transactions on Computational Logic : Impact Factor & More
eISSN: 1557-945XpISSN: 1529-3785
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
ACM Transactions on Computational Logic Key Metrics
CiteScore 
2.6
H-Index
51
Impact Factor
< 5
SJR
Q1Logic
SNIP
0.99
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
Probabilistic Temporal Reasoning Using Superposition Semantics
- 19 Mar 2025
- ACM Transactions on Computational Logic
The Reachable Simulation Problem
- 17 Mar 2025
- ACM Transactions on Computational Logic
Model and Program Repair via Group Actions and Structure Unwinding
- 21 Feb 2025
- ACM Transactions on Computational Logic
<scp>1-in-3</scp> vs. <scp>Not-All-Equal</scp> : Dichotomy of a broken promise
- 20 Feb 2025
- ACM Transactions on Computational Logic
Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics
- 17 Feb 2025
- ACM Transactions on Computational Logic
The Iteration Number of the Weisfeiler-Leman Algorithm
- 24 Jan 2025
- ACM Transactions on Computational Logic
Probabilistic Temporal Reasoning Using Superposition Semantics
- 19 Mar 2025
- ACM Transactions on Computational Logic
The Reachable Simulation Problem
- 17 Mar 2025
- ACM Transactions on Computational Logic
Model and Program Repair via Group Actions and Structure Unwinding
- 21 Feb 2025
- ACM Transactions on Computational Logic
<scp>1-in-3</scp> vs. <scp>Not-All-Equal</scp> : Dichotomy of a broken promise
- 20 Feb 2025
- ACM Transactions on Computational Logic
Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics
- 17 Feb 2025
- ACM Transactions on Computational Logic
The Iteration Number of the Weisfeiler-Leman Algorithm
- 24 Jan 2025
- ACM Transactions on Computational Logic
Compare Similar Journals with ACM Transactions on Computational Logic
Select Journals to Compare with ACM Transactions on Computational Logic
Total journals - 9
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
Studia Logica
Publisher: SPRINGER
Journal of Logic and Computation
Publisher: OXFORD UNIV PRESS
Logica Universalis
Publisher: SPRINGER BASEL AG
Bulletin of the Section of Logic
Publisher: Department of Logic, University of Lodz
Electronic Proceedings in Theoretical Computer Science
Publisher: Open Publishing Association
Logical Methods in Computer Science
Publisher: LOGICAL METHODS COMPUTER SCIENCE E V
Journal of Philosophical Logic
Publisher: SPRINGER
International Journal on Software Tools for Technology Transfer
Publisher: SPRINGER HEIDELBERG
0 Journals Selected to compare with
ACM Transactions on Computational Logic
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
