ACM Transactions on Computational Logic

打开微信扫一扫

期刊ISSN

1529-3785

E-ISSN

1557-945X

影响因子

登录后查看数据

自引率

5.7%

SCI期刊JCR分区

SCI期刊JCR分区等级：2区

按学科分区
LOGIC Q2
COMPUTER SCIENCE, THEORY & METHODS Q4

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

大类学科	小类学科	Top期刊	综述期刊
工程技术 4区	计算机：理论方法 4区	否	否
	逻辑学 3区

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

大类学科	小类学科	Top期刊	综述期刊
计算机科学 3区	逻辑学 2区	否	否
	计算机：理论方法 3区

期刊简介

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
年文章数	26
出版国家或地区	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