您当前位置：首页 > 国际期刊-ACM Transactions on Computational Logic期刊投稿发表详细信息

ACM Transactions on Computational Logic Q1

期刊收录：
SCIE
Scopus

基本信息

期刊ISSN：
1529-3785
期刊简拼：
ACM T COMPUT LOG
年发文章数：
35
E-ISSN：
1557-945X
Gold OA文章占比
3.41%
研究文章占比：
100.00%
是否OA：
No
Jcr分区：
Q1
中科院分区：
4区

出版信息

出版商：
Association for Computing Machinery (ACM)
涉及研究方向：
工程技术-计算机：理论方法
出版国家：
UNITED STATES
出版语言：
English
出版周期：
Quarterly
出版年份：

2023-2024最新影响因子:0.7
自引率:14.30%
五年影响因子:0.8
JCI期刊引文指标:0.65
h-index:43
CiteScore:2.30

期刊关键词

1区 SCIE Scopus 数学 4区 COMPUTER SCIENCE THEORY & METHODS 计算机：理论方法 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.

《ACM Transactions on Computational Logic》期刊已被查看：次
期刊简写：ACM T COMPUT LOG

此期刊被最新的JCR期刊SCIE收录