Acm Transactions On Computational Logic

Journal Title：Acm Transactions On Computational Logic

TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M. Clarke, Allen E. Emerson, and Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).

Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.

The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.

Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

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

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

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