ACM Transactions on Computational Logic : Impact Factor & More

eISSN: 1557-945XpISSN: 1529-3785

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
See General Details

Recently Published Papers in ACM Transactions on Computational Logic

ACM Transactions on Computational Logic Year-wise Publication

FAQs on ACM Transactions on Computational Logic

How long has ACM Transactions on Computational Logic been actively publishing? expand

ACM Transactions on Computational Logic has been in operation since 2000 till date.

What is the publishing frequency of ACM Transactions on Computational Logic? expand

ACM Transactions on Computational Logic published with a Quarterly frequency.

How many articles did ACM Transactions on Computational Logic publish last year? expand

In 2024, ACM Transactions on Computational Logic publsihed 27 articles.

What is the eISSN & pISSN for ACM Transactions on Computational Logic? expand

For ACM Transactions on Computational Logic, eISSN is 1557-945X and pISSN is 1529-3785.

What is Citescore for ACM Transactions on Computational Logic? expand

Citescore for ACM Transactions on Computational Logic is 2.6.

What is the H Index for ACM Transactions on Computational Logic ? expand

H Index for ACM Transactions on Computational Logic is 51.

What is SNIP score for ACM Transactions on Computational Logic? expand

SNIP score for ACM Transactions on Computational Logic is 0.99.

What is the SJR for ACM Transactions on Computational Logic? expand

SJR for ACM Transactions on Computational Logic is Q1.

Who is the publisher of ACM Transactions on Computational Logic? expand

ASSOC COMPUTING MACHINERY is the publisher of ACM Transactions on Computational Logic.