《Acm Transactions On Computational Logic》由Association for Computing Machinery (ACM)出版社出版，是计算机：理论方法领域的国际权威期刊。自2000年创刊以来，该刊始终致力于发表数学领域的原创性、前瞻性研究成果，尤其关注数学领域的理论、政策与实践。该刊被SCIE数据库收录，在JCR学科，按JIF指标学科分区学科“COMPUTER SCIENCE, THEORY & METHODS”中位于Q3区；“LOGIC”中位于Q1区；按JCI指标学科分区学科“COMPUTER SCIENCE, THEORY & METHODS”中位于Q2区；“LOGIC”中位于Q2区；中国科学院期刊分区为大类数学4区，小类计算机：理论方法4区。此外，在CiteScore学科分类中，该刊在“Logic”小类中位列Q2区，排名11 / 41，显示出在计算机：理论方法领域的突出影响力。
作为一本非开放获取期刊，《Acm Transactions On Computational Logic》2023年发文量在35篇，研究类论文占比为100.00%。期刊最新影响因子为0.7 ，CiteScore为2.3，学术影响力持续稳健。该刊面向全球研究者，为探讨计算机：理论方法领域提供了高水平的学术交流平台。
