ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 5. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-02-01 to 2025-02-01.)
ArticleCitations
The Iteration Number of the Weisfeiler-Leman Algorithm15
Reasoning about Quality and Fuzziness of Strategic Behaviors10
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation7
Eager Equality for Rational Number Arithmetic6
Inputs, Outputs, and Composition in the Logic of Information Flows6
Products, Polynomials and Differential Equations in the Stream Calculus5
Logics with Multiteam Semantics5
0.28350806236267