计算逻辑上的 Acm 事务

SCIE

期刊简介

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

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

计算逻辑上的 Acm 事务创刊于2000年，由Association for Computing Machinery (ACM)出版社出版。其研究的主题领域包括但不限于工程技术-计算机：理论方法，是一本在数学领域具有重要影响力的国际期刊。该期刊涵盖了数学的多个子领域，旨在全面理解和解决数学问题。

根据最新的数据，计算逻辑上的 Acm 事务的影响因子为0.7，CiteScore为2.3，h-index为43，SJR为0.876，SNIP为1.231，中科院分区为4区，这些指标均显示了该期刊在数学领域的优秀地位。

该刊以English作为出版语言。对于English非母语的作者，期刊建议使用语言编辑服务，以确保文稿的语法和拼写错误得到纠正，并符合科学English的标准。如果想实现快速顺利的投稿发表，建议您联系本站的客服团队，将为您提供专业的选刊建议，并在整个投稿过程中提供细致的指导。