计算逻辑上的 Acm 事务 SCIE

期刊简介

计算逻辑上的 Acm 事务(Acm Transactions On Computational Logic)是一本由Association for Computing Machinery (ACM)出版的一本工程技术-计算机：理论方法学术刊物，主要报道工程技术-计算机：理论方法相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于2000年，出版周期Quarterly。2021-2022年最新版WOS分区等级：Q1，2023年发布的影响因子为0.7，CiteScore指数2.3，SJR指数0.876。本刊非开放获取期刊。

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 成为该领域的标准参考。

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