SCIESCOPUSQ1
ACM Transactions on Computational Logic
ASSOC COMPUTING MACHINERY, United States
ACM Transactions on Computational Logic is an academic journal published by ASSOC COMPUTING MACHINERY (United States). Identifiers: ISSN 1529-3785, eISSN 1557-945X. Indexed in SCIE, SCOPUS. Metrics: JIF 0.9, CiteScore 2.4, SJR 0.602, SNIP 1.05. Subject areas: COMPUTER SCIENCE, LOGIC, THEORY & METHODS. tlooto lists 144 papers from this journal.
CiteScore
2.40
Scopus citation metric
SJR
0.602
SCImago rank
SNIP
1.05
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 1529-3785
- eISSN
- 1557-945X
- Abbreviation
- ACM T COMPUT LOG
- Publisher
- ASSOC COMPUTING MACHINERY
- Country
- United States
Web of Science categories
SCIECOMPUTER SCIENCE, LOGIC, THEORY & METHODS
Scopus ASJC categories
17002605 Computational Mathematics2609 Logic2614 Theoretical Computer Science
Keywords
Computer Science, Theory & Methods | Logic
Papers in this journal
Recent papers
- Formalising Asynchronous Session Subtyping
2026
- Convex and Reverse Convex Prequadratics Constraints for Decidable Logics of Relations with Cardinalities
2026
- Foundations for an Abstract Proof Theory in the Context of Horn Rules
2026
- The Complexity of Resilience Problems via Valued Constraint Satisfaction
2026
- A Two-Level Linear Dependent Type Theory
2026
Most cited papers
- Adaptive Time-Stepping and Computational Stability
2006 · 202 citations
- On the meaning of logical rules I: syntax vs. semantics
1998 · 65 citations
- SAT Modulo Symmetries for Graph Generation and Enumeration
2024 · 37 citations
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
2022 · 20 citations
- Decidability of Graph Neural Networks via Logical Characterizations
2024 · 19 citations