期刊简介

计算逻辑上的 Acm 事务(Acm Transactions On Computational Logic)是一本由ASSOC COMPUTING MACHINERY出版的一本工程技术-计算机：理论方法学术刊物，主要报道工程技术-计算机：理论方法相关领域研究成果与实践。本刊已入选科学引文索引（SCI）、来源期刊，属于国际一流期刊。该刊创刊于2000年，出版周期Quarterly。2021-2022年最新版WOS分区等级：Q4，2022年的影响因子为0.5，CiteScore指数2.60，SJR指数0.618。本刊非开放获取期刊。

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（函数式编程和 AI 中的逻辑）。

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

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

寻求理论和应用论文。特别欢迎提交展示计算机科学中逻辑的新用途的提交。