计算逻辑上的 Acm 事务
国际简称：ACM T COMPUT LOG
Acm Transactions On Computational Logic杂志简介
Acm Transactions On Computational Logic是由Association for Computing Machinery (ACM)出版商主办的数学领域的专业学术期刊，自2000年创刊以来，一直以高质量的内容赢得业界的尊重。该期刊拥有正式的刊号（ISSN：1529-3785，E-ISSN：1557-945X），出版周期Quarterly，其出版地区设在UNITED STATES。该期刊的核心使命旨在推动数学专业及COMPUTER SCIENCE, THEORY & METHODS学科界的教育研究与实践经验的交流，发表同行有创见的学术论文，提倡学术争鸣，激发学术创新，开展国际间学术交流，为数学领域的发展注入活力。
该期刊文章自引率0，开源内容占比0，出版撤稿占比0，OA被引用占比0，读者群体主要包括数学的专业人员，研究生、本科生以及数学领域爱好者，这些读者群体来自全球各地，具有广泛的学术背景和兴趣。Acm Transactions On Computational Logic已被国际权威学术数据库“ SCIE（Science Citation Index Expanded） ”收录，方便全球范围内的学者和研究人员检索和引用，有助于推动COMPUTER SCIENCE, THEORY & METHODS领域的研究进展和创新发展。
收录信息
CiteScore（2024年最新版）
- CiteScore：2.3
- SJR：0.876
- SNIP：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中一系列期刊指标的重要组成部分，包括SNIP（源文档标准化影响）、SJR（SCImago杂志排名）、引用文档计数以及引用百分比。Scopus整合以上指标，帮助研究者深入了解超过22,220种论著的引用情况。您可在Scopus Joumal Metrics website了解各个指标的详细信息。
CiteScore分区值与影响因子值数据对比
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区 | 否 | 否 |
中科院分区表历年分布趋势图
WOS期刊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% |
JCR（Journal Citation Reports）分区，也被称为JCR期刊分区，是由汤森路透公司（现在属于科睿唯安公司）制定的一种国际通用和公认的期刊分区标准。JCR分区基于SCI数据库，按照期刊的影响因子进行排序，按照类似等分的方式将期刊划分为四个区：Q1、Q2、Q3和Q4。需要注意的是，JCR分区的标准与中科院JCR期刊分区（又称分区表、分区数据）存在不同之处。例如，两者的分区数量不同，JCR分为四个区，而中科院分区则分为176个学科，每个学科又按照影响因子高低分为四个区。此外，两者的影响因子取值范围也存在差异。
历年发文数据
| 年份 | 年发文量 |
| 2014 | 35 |
| 2015 | 42 |
| 2016 | 25 |
| 2017 | 33 |
| 2018 | 31 |
| 2019 | 25 |
| 2020 | 34 |
| 2021 | 26 |
| 2022 | 27 |
| 2023 | 35 |
期刊互引关系
| 被他刊引用情况 | |
| 期刊名称 | 引用次数 |
| LOG METH COMPUT SCI | 39 |
| ARTIF INTELL | 23 |
| ACM T COMPUT LOG | 19 |
| THEOR PRACT LOG PROG | 19 |
| MATH STRUCT COMP SCI | 18 |
| THEOR COMPUT SCI | 17 |
| J AUTOM REASONING | 15 |
| J COMPUT SYST SCI | 10 |
| J LOG ALGEBR METHODS | 10 |
| IEEE ACCESS | 7 |
| 引用他刊情况 | |
| 期刊名称 | 引用次数 |
| THEOR COMPUT SCI | 37 |
| J ACM | 27 |
| INFORM COMPUT | 23 |
| J LOGIC COMPUT | 22 |
| ACM T COMPUT LOG | 19 |
| ARTIF INTELL | 17 |
| SIAM J COMPUT | 17 |
| LOG METH COMPUT SCI | 15 |
| ANN PURE APPL LOGIC | 13 |
| J AUTOM REASONING | 10 |
