计较逻辑上的 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检索（检索不了全额退款）。咱们视诺言为生命，多方面确保文章宁静失密，在任何环境下都不会泄漏您的小我信息或稿件内容。