ACM Transactions on Computational Logic

eISSN: 1557-945XpISSN: 1529-3785

Journal formatting to fit the target journal guidelines

Experts ensure all elements of your paper match journal formatting guidelines to improve publication success rate!

Key Metrics

CiteScore
2.6
H-Index
51
Impact Factor
< 5
SJR
Q1Logic
SNIP
0.99

Journal Specifications

Overview
  • Publisher
    ASSOC COMPUTING MACHINERY
  • Language
    English
  • Frequency
    Quarterly
General Details
View less

Topics Covered

Model checking
Transitive closure
Event structure
Intuitionistic logic
Diamond
Runtime verification
Inductive reasoning
Differential game
Expressive power
Separation logic
Proof theory

Year-wise Publication

FAQs

Since when has ACM Transactions on Computational Logic been publishing? Faqs

The ACM Transactions on Computational Logic has been publishing since 2000 till date.

How frequently is the ACM Transactions on Computational Logic published? Faqs

ACM Transactions on Computational Logic is published Quarterly.

What is the H-index. SNIP score, Citescore and SJR of ACM Transactions on Computational Logic? Faqs

ACM Transactions on Computational Logic has a H-index score of 51, Citescore of 2.6, SNIP score of 0.99, & SJR of Q1

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

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

How can I view the journal metrics of ACM Transactions on Computational Logic on editage? Faqs

For the ACM Transactions on Computational Logic metrics, please refer to the section above on the page.

What is the eISSN and pISSN number of ACM Transactions on Computational Logic? Faqs

The eISSN number is 1557-945X and pISSN number is 1529-3785 for ACM Transactions on Computational Logic.

What is the focus of this journal? Faqs

The journal covers a wide range of topics inlcuding Model checking, Transitive closure, Event structure, Intuitionistic logic, Diamond, Runtime verification, Inductive reasoning, Differential game, Expressive power, Separation logic, Proof theory.

Why is it important to find the right journal for my research? Faqs

Choosing the right journal ensures that your research reaches the most relevant audience, thereby maximizing its scholarly impact and contribution to the field.

Can the choice of journal affect my academic career? Faqs

Absolutely. Publishing in reputable journals can enhance your academic profile, making you more competitive for grants, tenure, and other professional opportunities.

Is it advisable to target high-impact journals only? Faqs

While high-impact journals offer greater visibility, they are often highly competitive. It's essential to balance the journal's impact factor with the likelihood of your work being accepted.