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

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:

Cactus Communications Services Pte Ltd
20 McCallum Street, #19-01, Tokio Marine Centre, Singapore 069046

We are with you every step of the way as you achieve your dreams - publication, everything that precedes it, and everything that comes after. You are much more than your last research project. It’s time you got more.

USEFUL LINKS

EXCITED ABOUT RESEARCHER.LIFE?

We are always looking for inspiration, feedback, and collaborators

Write to us

Copyright 2024 Cactus Communications. All rights reserved.

Privacy PolicyCookies PolicyTerms of UseCareers
Check if your manuscript is a good match for
undefined

Upload your manuscript to get recommendations of journals
that have published papers similar to your manuscript


word doc icon
Drag and drop your file here
We accept manuscripts in English. File format: .doc and .docx | Maximum size: 10 MB | Word count: 200-300,000 words | File length: less than 100 pages

Do not have a manuscript right now? Use an abstract or summary

Your document is 100% secure & confidential

We use 256-bit encryption for total security and
ISO/IEC 27001:2013 Certified

What all does the report include
01. Degree of Match
02. Common Topics
03. Additional
Recommendations