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
Model checking
Transitive closure
Event structure
Intuitionistic logic
Diamond
Runtime verification
Inductive reasoning
Differential game
Expressive power
Separation logic
Proof theory
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
Model Checking Strategic Abilities in Information-sharing Systems
- 19 Nov 2024
- ACM Transactions on Computational Logic
A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
- 13 Nov 2024
- ACM Transactions on Computational Logic
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
- 12 Nov 2024
- ACM Transactions on Computational Logic
Invariant Checking for SMT-Based Systems with Quantifiers
- 29 Oct 2024
- ACM Transactions on Computational Logic
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
- 29 Oct 2024
- ACM Transactions on Computational Logic
Hypothetical Answers to Continuous Queries Over Data Streams
- 29 Oct 2024
- ACM Transactions on Computational Logic
Model Checking Strategic Abilities in Information-sharing Systems
- 19 Nov 2024
- ACM Transactions on Computational Logic
A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
- 13 Nov 2024
- ACM Transactions on Computational Logic
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
- 12 Nov 2024
- ACM Transactions on Computational Logic
Invariant Checking for SMT-Based Systems with Quantifiers
- 29 Oct 2024
- ACM Transactions on Computational Logic
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
- 29 Oct 2024
- ACM Transactions on Computational Logic
Hypothetical Answers to Continuous Queries Over Data Streams
- 29 Oct 2024
- 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
FAQs on ACM Transactions on Computational Logic
How long has ACM Transactions on Computational Logic been actively publishing? 
ACM Transactions on Computational Logic has been in operation since 2000 till date.
What is the publishing frequency of ACM Transactions on Computational Logic?
ACM Transactions on Computational Logic published with a Quarterly frequency.
How many articles did ACM Transactions on Computational Logic publish last year?
In 2023, ACM Transactions on Computational Logic publsihed 37 articles.
What is the eISSN & pISSN for ACM Transactions on Computational Logic?
For ACM Transactions on Computational Logic, eISSN is 1557-945X and pISSN is 1529-3785.
What is Citescore for ACM Transactions on Computational Logic?
Citescore for ACM Transactions on Computational Logic is 2.6.
What is the H Index for ACM Transactions on Computational Logic ?
H Index for ACM Transactions on Computational Logic is 51.
What is SNIP score for ACM Transactions on Computational Logic?
SNIP score for ACM Transactions on Computational Logic is 0.99.
What is the SJR for ACM Transactions on Computational Logic?
SJR for ACM Transactions on Computational Logic is Q1.
Who is the publisher of ACM Transactions on Computational Logic?
ASSOC COMPUTING MACHINERY is the publisher of ACM Transactions on Computational Logic.
