ACM Transactions on Computational Logic

SCI期刊JCR分区

SCI期刊JCR分区等级：2区

按学科分区

LOGIC

COMPUTER SCIENCE, THEORY & METHODS

最新中科院SCI期刊分区（基础版）

大类学科

工程技术

4区

小类学科

计算机：理论方法

4区

逻辑学

3区

Top期刊

否

综述期刊

否

最新中科院SCI期刊分区（升级版）

大类学科

计算机科学

3区

小类学科

逻辑学

2区

计算机：理论方法

3区

Top期刊

否

综述期刊

否

期刊简介

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).

出版信息

出版商

Association for Computing Machinery (ACM)

期刊官网

http://tocl.acm.org/

涉及的研究方向

工程技术-计算机：理论方法

刊期

Quarterly

年文章数

出版国家或地区

UNITED STATES

是否OA

否

SCI期刊收录Coverage

Science Citation Index Expanded (SCIE)

Scopus (CiteScore)

Cite Score相关

Cite Score	SJR	SNIP	排名
2.6	0.755	0.987	学科大类学科：Mathematics 小类学科：Logic 分区 Q1 学科大类学科：Mathematics 小类学科：General Computer Science 分区 Q2 学科大类学科：Mathematics 小类学科：Computational Mathematics 分区 Q2 学科大类学科：Mathematics 小类学科：Theoretical Computer Science 分区 Q3