PofoliaJournal guide

All fields · Computational Theory and Mathematics

JournalQ2· SCImago 2025

ACM Transactions on Computational Logic

ISSN 1529-3785

About this journal

ACM Transactions on Computational Logic is a Q2 journal by SCImago Journal Rank (2025 data) and an h-index of 55. Most of its papers in the Pofolia pool fall under Computational Theory and Mathematics. Pofolia holds AI summaries of 1 paper(s) from this journal; the most cited is “Non-Deterministic Abstract Machines” (3 citations).

The quartile (Q1–Q4) is the journal's percentile position within its subject area by SCImago Journal Rank; Q1 is the top 25%. What is a Q1 journal? · What is the h-index?

Most-cited papers in Computational Theory and Mathematics →

Papers we summarise from this journal

Journals in the same field

JournalQuartileSJRSummaries
ScienceQ110.003
Annals of MathematicsQ19.001
Nucleic Acids ResearchQ18.0020
Nature CommunicationsQ14.001
Cell DiscoveryQ14.001
IEEE Transactions on Evolutionary ComputationQ13.003
Journal of Differential GeometryQ12.001
Chemical ScienceQ12.001
Mathematical ProgrammingQ12.001
Journal of Combinatorial Theory. Series BQ12.001

See every journal in the field →

Follow these journals on Pofolia

Pick your fields and new papers from their journals land in your feed every day with AI summaries. Free.

Start free