计算逻辑上的 Acm 事务

计算逻辑上的 Acm 事务（Acm Transactions On Computational Logic）在中科院分区中位于3区，JCR分区位于Q1。审稿速度一般为>12周，或约稿，且近两年没有被列入国际预警名单，您可以放心投稿。如果您需要投稿指导，可在线咨询我们的客服老师，我们将竭诚为您服务。

TOCL 欢迎提交与逻辑有关的所有方面的文章，因为它涉及计算机科学的主题。该领域在计算机科学中有着悠久的传统。获得 ACM 图灵奖的几位研究人员也为该领域做出了贡献，即 Edgar Codd（关系数据库系统）、Stephen Cook（逻辑理论的复杂性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序逻辑、程序推导和验证、编程语言语义）、Robin Milner（交互式定理证明、并发演算和函数式编程）和 John McCarthy（人工智能中的函数式编程和逻辑）。

逻辑继续在计算机科学中发挥重要作用，并渗透到其多个领域，包括人工智能、计算复杂性、数据库系统和编程语言。

本期刊的编辑委员会寻求并希望吸引上述所有计算逻辑领域的高质量投稿，以便 TOCL 成为该领域的标准参考。

理论和寻求应用论文。尤其欢迎展示逻辑在计算机科学中的新用途的论文。