计算逻辑上的 Acm 事务 SCIE

期刊简介预计审稿时间： 12周，或约稿

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

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

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

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

《Acm Transactions On Computational Logic》(计算逻辑上的 Acm 事务)编辑部通讯方式为ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。