ACM Transactions on Computational Logic

eISSN: 1557-945XpISSN: 1529-3785

Key Metrics

CiteScore
2.5
Scite Index
N/A 5-Year SI
SJR
Q3Logic
SNIP
1.06

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

Indexed in the following public directories

  • Web of Science Web of Science
  • Scopus Scopus
Overview
  • Publisher
    ACM
  • Language
    English
  • Frequency
    Quarterly
General Details
  • Language
    English
  • Frequency
    Quarterly
  • Publication Start Year
    2000
  • Publisher URL
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
Free Report

Scite analysis

Powered by scite_

698 articles received 16K citationssee all

  • 131 Supporting
  • 15,800 Mentioning
  • 5 Contrasting

Editorial notices

  • 0Retractions
  • 0Withdrawals
  • 0Corrections
  • 0Errata
  • 0Expression of Concern

FAQs

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

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

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

ACM Transactions on Computational Logic published with a Quarterly frequency.

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

In 2021, ACM Transactions on Computational Logic publsihed 39 articles.

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

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

What is Citescore for ACM Transactions on Computational Logic? Faqs

Citescore for ACM Transactions on Computational Logic is 2.5.

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

SNIP score for ACM Transactions on Computational Logic is 1.06.

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

SJR for ACM Transactions on Computational Logic is 0.59.

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

ACM is the publisher of ACM Transactions on Computational Logic.