verified COP 1,4 · Q1 • database Scopus / SJR & Web of Science indexed

United States · Association for Computing Ma...

workspace_premium Q1 — Logic lock Subscription

ACM Transactions on Computational Logic

ACM Transactions on Computational Logic is a journal indexed in SJR in Computational Mathematics and Computer Science (miscellaneous) with an H index of 54. It has a COP Index of 1,4 (best band Q1). It is published in English. It has a COP Index of 1,4.

ISSN: 1529-3785

Publisher: Association for Computing Machinery (ACM)

Category: Computational Mathematics

Indexation: verifiedScopus / SJR verifiedWeb of Science

open_in_new Portal NPD menu_book Guidelines NPD

schedule CountryOfPapers database fields

COP Index trending_up

1,4 Q1

8 of 32 journals in Logic

H-index · SJR 54 · 0,602

Acceptance rate pie_chart

31%

Source Acceptance_Rate

Time to publication hourglass_top

NPD

Field NPD

Publication cost (APC) payments

NPD Subscription

Non-OA path NPD

Metrics

Scimago and CountryOfPapers database fields

Scopus / SJR Web of Science

COP Index

1,4

SJR Impact

0,602

H-index

Docs (year)

Docs 3y

Total refs

1298

Cites 3y

115

Citable 3y

Cites/Doc 2y

1.33

Ref/Doc

49.92

Immediate OA

—

Embargoed OA

NPD

Non OA / Submission

—

shield Researcher voice

Name good journals. Call out predatory ones.

Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.

Fair & fast peer review Clear APC / no surprise fees Suspected predatory Fake impact claims

rate_review Write an honest review

Researcher reviews

sentiment_dissatisfied No reviews yet — be the first to share an honest experience.

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID * * Only to validate authenticity — identity is not shown publicly.

Best articles by citations

Adding Successor

Zeno, Hercules, and the Hydra

Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption

Complexity of propositional proofs under a promise

Collapsible Pushdown Automata and Recursion Schemes

Clausal temporal resolution

Bounds on the automata size for Presburger arithmetic

Bounds for the Quantifier Depth in Finite-Variable Logics

Belief Merging within Fragments of Propositional Logic

Belief Merging by Examples

Back and forth between guarded and modal logics

An extended transformation approach to inductive logic programming

SHOW MORE ARTICLES

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

A First-order Logic for Reasoning about Knowledge and Probability

Abstraction in Fixpoint Logic

Abstract computability and algebraic specification

A syntactical analysis of non-size-increasing polynomial time computation

A sequent calculus and a theorem prover for standard conditional logics

A SAT Approach to Clique-Width

A new function algebra of EXPTIME functions by safe nested recursion

A new decidability technique for ground term rewriting systems with applications

A Model-Theoretic Approach to Belief Change in Answer Set Programming

A Model for Phase Transition of Random Answer-Set Programs

A modal logic framework for multi-agent belief fusion

FAQs

ACM Transactions on Computational Logic has a COP Index of 1,4 (Q1), ranked 8 of 32 in Logic. SJR: 0,602.

Immediate OA APC is not available (NPD).

The acceptance rate recorded for ACM Transactions on Computational Logic is 31%.

ACM Transactions on Computational Logic

Metrics

Name good journals. Call out predatory ones.

Researcher reviews

Best articles by citations

FAQs

What is the COP Index of ACM Transactions on Computational Logic?

What is the APC / publication cost?

What is the acceptance rate?