Acm Transactions On Computational Logic SCIE

国际简称：ACM T COMPUT LOG 参考译名：计算逻辑上的 Acm 事务

主要研究方向：工程技术-计算机：理论方法非预警期刊审稿周期： 12周，或约稿

《计算逻辑上的 Acm 事务》(Acm Transactions On Computational Logic)是一本由Association for Computing Machinery (ACM)出版的以工程技术-计算机：理论方法为研究特色的国际期刊，发表该领域相关的原创研究文章、评论文章和综述文章，及时报道该领域相关理论、实践和应用学科的最新发现，旨在促进该学科领域科学信息的快速交流。该期刊是一本未开放期刊，近三年没有被列入预警名单。

4区中科院分区
Q1 JCR分区
35 年发文量
0.7 IF影响因子
未开放 是否OA
43 H-index
2000 创刊年份
Quarterly 出版周期
English 出版语言

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.

[ 查看全部 ]

投稿咨询加急咨询

投稿热线：400-888-7501

Acm Transactions On Computational Logic期刊信息

ISSN：1529-3785
出版语言：English
是否OA：未开放
E-ISSN：1557-945X
出版地区：UNITED STATES
是否预警：否
出版商：Association for Computing Machinery (ACM)
出版周期：Quarterly
创刊时间：2000
开源占比：0
Gold OA文章占比：3.41%
OA被引用占比：0
出版国人文章占比：0.01
出版撤稿占比：0
研究类文章占比：100.00%

Acm Transactions On Computational Logic CiteScore评价数据（2024年最新版）

CiteScore

SJR

SNIP

CiteScore 指数

2.3

0.876

1.231

学科类别	分区	排名	百分位
大类：Mathematics 小类：Logic	Q2	11 / 41	73%
大类：Mathematics 小类：Computational Mathematics	Q3	99 / 189	47%
大类：Mathematics 小类：General Computer Science	Q3	135 / 232	42%
大类：Mathematics 小类：Theoretical Computer Science	Q3	81 / 130	37%

名词解释：CiteScore 是衡量期刊所发表文献的平均受引用次数，是在 Scopus 中衡量期刊影响力的另一个指标。当年CiteScore 的计算依据是期刊最近4年（含计算年度）的被引次数除以该期刊近四年发表的文献数。例如，2022年的 CiteScore 计算方法为：2022年的 CiteScore =2019-2022年收到的对2019-2022年发表的文件的引用数量÷2019-2022年发布的文献数量注：文献类型包括：文章、评论、会议论文、书籍章节和数据论文。

Acm Transactions On Computational Logic中科院评价数据

中科院 2023年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	数学	4区	COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学	4区 4区

中科院 2022年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	4区	COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学	3区 3区

中科院 2021年12月旧的升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	2区 3区

中科院 2021年12月基础版

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

中科院 2021年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	2区 3区

中科院 2020年12月旧的升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学	3区 3区

Acm Transactions On Computational Logic JCR评价数据（2023-2024年最新版）

按JIF指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	104 / 143	27.6%
学科：LOGIC	SCIE	Q1	4 / 25	86%

按JCI指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	58 / 143	59.79%
学科：LOGIC	SCIE	Q2	12 / 25	54%