ACM Transactions on Computational Logic 计算机领域必备期刊

　　推荐语

　　ACM Transactions on Computational Logic (简称 TOCL)是计算逻辑领域的一本顶尖期刊。该期刊发表高质量的论文，覆盖了计算逻辑的各个方面，包括但不限于自动推理、形式方法、程序语言语义、逻辑编程等等。无论是从理论上还是从实际应用上，TOCL都是该领域的一本权威期刊，值得学术界和工业界的广泛关注。在中科院升级版中，大类属于计算机科学，小类学科是计算机：理论方法、逻辑学。在JCR分区中，计算机科学领域排名92/110，位于Q4。

　　期刊信息简介

　　ACM Transactions on Computational Logic (TOCL)是ACM旗下的一本同行评审、国际性学术期刊，主要发表计算逻辑领域的原创研究论文。该期刊的目标是推动计算逻辑领域的研究和发展，为学术界和工业界的研究人员和工程师提供一个交流和合作的平台。TOCL每年出版四期，每期包含多篇高质量的论文。

　　影响因子

　　2008年ACM Transactions on Computational Logic获得影响因子2.766分，此后影响因子一直保持着1.5分左右的水平，十分稳定。2017-2021年的影响因子分别为0.730、0.448、0.688、0.625、0.898分，2021年影响因子保持在稳定的趋势。

　　中文/JCR分区

　　ACM Transactions on Computational Logic在中科院升级版中，大类计算机科学位于4区，小类计算机：理论方法、逻辑学位于3区；大类属于计算机科学，小类学科是计算机：理论方法、逻辑学。在JCR分区中，计算机科学领域排名92/110，位于Q4。

　　JCR分区

　　中文分区

　　期刊发文量

　　该期刊发文量稳定在30篇左右，2016-2021年的发文量分别为25、33、31、25、34、26。通过近几年发文量可以预测，下一年发文量会在30篇左右。

　　期刊自引率

　　最近几年的期刊自引率为2.3%、8.6%、5.7%，不在中科院期刊预警范围内。

　　国人在该期刊的发文量占比

　　期刊发表文章类型

　　TOCL主要发表原创研究论文，也会接受一些综述性文章和工程实践报告。该期刊的文章涉及多个方面，包括但不限于：自动推理、形式方法、程序语言语义、逻辑编程等等。所有文章都会经过严格的同行评审流程，确保文章的质量和学术价值。

　　主要研究领域和关键词

　　TOCL的研究领域主要集中在计算逻辑领域，包括但不限于：自动推理、形式方法、程序语言语义、逻辑编程、证明论、模型检测等等。该期刊的关键词包括：计算逻辑、自动推理、形式方法、程序语言语义、逻辑编程、证明论、模型检测等等。

　　是否为OA期刊及版面费

　　否

　　期刊投稿周期

　　投稿经验总结

　　网友1：

　　最后被拒了，周期很长。

　　网友2：

　　当时觉得还是有希望大修后一次，二审和接受都比较快，见刊也比较快。

　　期刊投稿须知

　　投稿前，请确保您的文章符合该期刊的发表要求和风格，仔细阅读TOCL的投稿指南。该期刊采用在线投稿系统，您可以通过该期刊官网的投稿链接提交您的文章。所有的投稿都会经过严格的同行评审流程，通常需要数月的时间才能得到初步反馈。如果您的文章被接受发表，您将需要支付相应的出版费用。

　　投稿链接

　　https://mc.manuscriptcentral.com/tocl

　　期刊官网链接：

　　https://tocl.acm.org/

　　期刊总结

　　Acm Transactions On Computational Logic创刊于2000年，由ASSOC COMPUTING MACHINERY出版商出版，收稿方向涵盖工程技术 -计算机：理论方法全领域，此期刊水平偏中等偏靠后，在所属细分领域中专业影响力一般，过审相对较易，如果您文章质量佳，选择此期刊，发表机率较高。平均审稿速度>12周，或约稿，影响因子指数0.898，该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。