Key Metrics
2.6
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
51
H index
H-Index
Journal's h-index reflects the collective citation impact of the authors publishing in the journal. The h-index is defined as the maximum value of h such that the given journal has published at least h papers that have each been cited at least h times.
Q1
Logic
SJR
- Q1 Logic
- Q2 Computational Mathematics
- Q2 Theoretical Computer Science
- Q2 Computer Science (miscellaneous)
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
0.99
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Topics Covered
- Model checking
- Transitive closure
- Event structure
- Intuitionistic logic
- Diamond
- Runtime verification
- Inductive reasoning
- Differential game
- Expressive power
- Separation logic
- Proof theory
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 |
Planning to publish in ACM Transactions on Computational Logic ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Model Checking Strategic Abilities in Information-sharing Systems
- 19 Nov 24
- ACM Transactions on Computational Logic
-
Full paper
A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
- 13 Nov 24
- ACM Transactions on Computational Logic
-
Full paper
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
- 12 Nov 24
- ACM Transactions on Computational Logic
-
Full paper
Invariant Checking for SMT-Based Systems with Quantifiers
- 29 Oct 24
- ACM Transactions on Computational Logic
-
Full paper
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
- 29 Oct 24
- ACM Transactions on Computational Logic
-
Full paper
Hypothetical Answers to Continuous Queries Over Data Streams
- 29 Oct 24
- ACM Transactions on Computational Logic
Scite analysis
Powered by scite_
762 articles received 17.4k citations see all
- 143 Supporting
- 17,141 Mentioning
- 5 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 0 Corrections
- 0 Errata
- 0 Expression of Concern
FAQs
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 years ?
In 2023, ACM Transactions on Computational Logic published 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 is1529-3785.
What is Citescore for ACM Transactions on Computational Logic ?
Citescore for ACM Transactions on Computational Logic is 2.6.
What is 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.