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
Strong Backdoors for Default Logic
- 30 Mar 24
- ACM Transactions on Computational Logic
-
Full paper
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
- 28 Mar 24
- ACM Transactions on Computational Logic
-
Full paper
Spectrum of FO Logic with Quantifier Depth 4 is Finite
- 28 Mar 24
- ACM Transactions on Computational Logic
-
Full paper
Stackelberg-Pareto Synthesis
- 9 Mar 24
- ACM Transactions on Computational Logic
-
Full paper
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
- 5 Mar 24
- ACM Transactions on Computational Logic
-
Full paper
The Complexity of LTL Rational Synthesis
- 28 Feb 24
- ACM Transactions on Computational Logic
Scite analysis
Powered by scite_
751 articles received 17k citations see all
- 139 Supporting
- 16,788 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.