首页 › 期刊 › 数学 › ACM Transactions on Computational Logic
ACM Transactions on Computational Logic
出版商:Association for Computing Machinery · ISSN:1529-3785, 1557-945X · 国家/地区:US · 类型:journal · 官网:http://tocl.acm.org
研究主题:Logic, Reasoning, and Knowledge · Logic, programming, and type systems · Formal Methods in Verification · semigroups and automata theory · Semantic Web and Ontologies
数据覆盖:11 个公开学术数据源交叉核验(ccf、crossref、fqb、jcr、openalex、scimago、submission、wikidata、xr、cwts、jufo)。
数据来源与实体核验
期刊官网 · OpenAlex 期刊实体 · Wikidata 期刊实体
核心指标
- 影响因子(JCR 2025):1.100
- JCR 分区:Q1(LOGIC)
- 中科院分区(2025):数学 4区,大类排名 349/815;小类:COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 4区,排名 70/143
- 新锐分区(2026):数学 3区
- SJR:0.507(Q2),2025 年,United States
- CCF:B类 类(计算机科学理论),推荐国际学术刊物,2026 年
- CWTS 2025:SNIP 1.381 · IPP 1.281 · 自引率 1.8%
- JUFO 出版渠道等级:芬兰 2 · 挪威 1 · 丹麦 2
- h-index:70
- i10 指数:369
- 近两年篇均被引:0.96
- 载文量 809 · 总被引 19788
- Crossref DOI 总量:807,近期 72
逐年趋势
- 近年影响因子:2021 0.898 → 2022 0.5 → 2023 0.7 → 2024 0.9 → 2025 1.1
- 近年 SJR:2021 0.755(Q1) → 2022 0.618(Q1) → 2023 0.876(Q1) → 2024 0.602(Q2) → 2025 0.507(Q2)
投稿参考
- 提供 LaTeX 投稿模板(acmart.cls)
同学科期刊推荐
- Acta Numerica — IF 12.8 · JCR Q1 · 中科院1区(Top)
- Annual Review of Statistics and Its Application — IF 9.8 · JCR Q1 · 中科院1区(Top)
- SIAM Review — IF 8.2 · JCR Q1 · 中科院1区(Top)
- Statistics Surveys — IF 8.2 · JCR Q1 · 中科院2区
- Acta Mathematica — IF 7.3 · JCR Q1 · 中科院1区(Top)
- Statistical Science — IF 6.6 · JCR Q1 · 中科院1区(Top)
- Bulletin of Mathematical Sciences — IF 6.5 · JCR Q1 · 中科院2区
- Wiley Interdisciplinary Reviews Computational Statistics — IF 6.1 · JCR Q1 · 中科院2区
常见问题
《ACM Transactions on Computational Logic》的影响因子是多少?
根据 JCR 2025 年数据,《ACM Transactions on Computational Logic》的最新影响因子(IF)为 1.100。
《ACM Transactions on Computational Logic》是几区期刊?
《ACM Transactions on Computational Logic》中科院分区(2025年版)为数学4区,JCR 分区为 Q1。
《ACM Transactions on Computational Logic》是 CCF 几类期刊?
《ACM Transactions on Computational Logic》是 CCF 推荐列表中的 B类 类(计算机科学理论)。