Acm Transactions On Computational Logic（中文译名：《计算逻辑上的 Acm 事务》），ISSN：1529-3785，EISSN：1557-945X，是Association for Computing Machinery (ACM)出版的国际性学术期刊，创刊于2000年，以Quarterly形式稳定发行，2026年总发文量约23篇。该刊采用非OA开放访问，学科归属为工程技术 - 计算机：理论方法。该刊是数学、计算机理论方法领域的国际权威刊物，已被SCI（科学引文索引）、SCIE（科学引文索引扩展版）、EI（工程索引）等国际主流学术数据库收录。2026年期刊影响因子达1.1，2025年期刊CiteScore为2.6，2025年期刊自引率约0%，在中科院期刊分区体系中位列数学大类3区，在所属学科领域具备高学术影响力与国际认可度。Acm Transactions On Computational Logic长期聚焦数学、计算机理论方法及相关产业的技术应用前沿，平均审稿周期>12周，或约稿，审稿流程高效稳定。在稿件录用评判中，该刊将创新性与前沿性作为核心遴选标准，重点收录能够对数学、计算机理论方法领域的落地与发展产生实质性推动价值的研究成果。
从全球发文格局来看，EnglandFrance、GERMANY (FED REP GER)、Italy、USA、Poland、Netherlands等为核心发文国家与地区；CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)UNIVERSITY OF OXFORD、UNIVERSITY OF LONDON、UNIVERSITY OF WARSAW、UNIVERSITE DE PARIS、UNIVERSITY OF AMSTERDAM、UNIVERSITY OF BREMEN等高校与科研机构是期刊的主要发文单位。