ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 6. 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 2020-04-01 to 2024-04-01.)
ArticleCitations
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic14
First-Order Interpretations of Bounded Expansion Classes13
Principles of KLM-style Defeasible Description Logics10
Unifying Operational Weak Memory Verification: An Axiomatic Approach7
Action Logic is Undecidable7
Inputs and Outputs in CSP6
Slanted Canonicity of Analytic Inductive Inequalities6
A New Perspective on FO Model Checking of Dense Graph Classes6
Strategy Logic with Imperfect Information6
0.014481067657471