Explore All Access
BackGo to journal finder

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.

Run pre-submission 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
General Details
LanguageEnglish
FrequencyQuarterly
Publication Start Year2000
Publisher URLVisit website
Website URLVisit website
View less
NEW

Submissions Pack

Expert Services + AI tools

One subscription packed with expert publication services and AI tools to get you published

Brought to you by

  • Journal Selection Service

    Benefit from our experts' recommendations of 3-5 best-suited journals, accompanied by a detailed Journal Selection report explaining the choices. Make informed decisions.

  • Journal Submission Service

    Streamline your submission process with meticulous manuscript formatting to meet journal guidelines, crafting a tailored cover letter for the editor, and hassle-free account creation and submission

Bundle of AI tools for your research needs

Journal Finder, Paperpal, R Discovery, MindTheGraph and more

View benefits in detail

Buy now for a special Launch price!

$199
$249
Subscribe now

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 in ACM Transactions on Computational Logic

View all papers for this journal

Compare Similar Journals with ACM Transactions on Computational Logic

Select Journals to Compare with ACM Transactions on Computational Logic
Total journals - 9
You can select up to 3 Journals at a time

Lecture Notes in Computer Science

View
Publisher: Springer Nature

Studia Logica

View
Publisher: SPRINGER

Journal of Logic and Computation

View
Publisher: OXFORD UNIV PRESS

Logica Universalis

View
Publisher: SPRINGER BASEL AG

Bulletin of the Section of Logic

View
Publisher: Department of Logic, University of Lodz

Electronic Proceedings in Theoretical Computer Science

View
Publisher: Open Publishing Association

Logical Methods in Computer Science

View
Publisher: LOGICAL METHODS COMPUTER SCIENCE E V

Journal of Philosophical Logic

View
Publisher: SPRINGER

International Journal on Software Tools for Technology Transfer

View
Publisher: SPRINGER HEIDELBERG
0 Journals Selected to compare with
ACM Transactions on Computational Logic
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers

SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers

Get detailed Journal comparison report on your email by signing up

Sign Up

Check if your research matches the topics covered in ACM Transactions on Computational Logic?

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your research

FAQs on ACM Transactions on Computational Logic

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 2023, ACM Transactions on Computational Logic publsihed 37 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.6.

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

H Index for ACM Transactions on Computational Logic is 51.

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

SNIP score for ACM Transactions on Computational Logic is 0.99.

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

SJR for ACM Transactions on Computational Logic is Q1.

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

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

Global Journal Library: