verified SJR 0,602 · Q2 • database Scopus / SJR & Web of Science indexed

United States · Association for Computing Ma...

workspace_premium Q2 — Computational Mathematics lock Subscription Unclaimed

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 an SJR impact factor of 0,602 and it has a best quartile of Q2. It is published in English. It has an SJR impact factor of 0,602.

ISSN: 1529-3785

Editorial: Association for Computing Machinery (ACM)

Category: Computational Mathematics

Indexation: verifiedScopus / SJR verifiedWeb of Science

Unclaimed profile — some fields may be incomplete.

open_in_new Portal NPD menu_book Guidelines NPD

schedule Datos CoP · solo campos en BD

SJR Impact Factor trending_up

0,602 Q2

H-index 54

Tasa de Aceptación pie_chart

31%

Fuente Acceptance_Rate

Tiempo a publicación hourglass_top

NPD

Campo Sin dato

Coste de Publicación (APC) payments

NPD Subscription

Ruta Non-OA NPD

Metrics

Campos Scimago / CoP — sin series inventadas

Scopus / SJR Web of Science

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

In Country of Papers you can find SJR impact factor and other metrics to help you decide on a Journal.