1. Home/
  2. Journal
  3. /
  4. Acm Transactions On Computational Logic

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
    Visit website
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
Check your researchless than 30 sec
Free Report

Recently Published Papers

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.

Planning to publish in ACM Transactions on Computational Logic ?

Upload your Manuscript to get

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your researchless than 30 sec
Free Report

Similar Journals

Lecture Notes in Computer Science

Publisher: Springer Nature

Studia Logica

Publisher: Springer Nature

Journal of Logic and Computation

Publisher: Oxford University Press

Logica Universalis

Publisher: Springer Nature

Bulletin of the Section of Logic

Journal

Publisher: Department of Logic, University of Lodz

Electronic Proceedings in Theoretical Computer Science

Journal

Logical Methods in Computer Science

Journal

Publisher: Technischen Universitat Braunschweig

Journal of Philosophical Logic

Publisher: Springer Nature

International Journal on Software Tools for Technology Transfer

Publisher: Springer Nature

Global Journal Library: