Acm Transactions On Computational Logic

杂志介绍

Acm Transactions On Computational Logic杂志介绍

《Acm Transactions On Computational Logic》是一本以English为主的未开放获取国际优秀期刊，中文名称计算逻辑上的 Acm 事务，本刊主要出版、报道数学-COMPUTER SCIENCE, THEORY & METHODS领域的研究动态以及在该领域取得的各方面的经验和科研成果，介绍该领域有关本专业的最新进展，探讨行业发展的思路和方法，以促进学术信息交流，提高行业发展。该刊已被国际权威数据库SCIE收录，为该领域相关学科的发展起到了良好的推动作用，也得到了本专业人员的广泛认可。该刊最新影响因子为0.7，最新CiteScore 指数为2.3。

英文介绍

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.