Scholay

学术搜索 · AI 审稿 · LaTeX 协作

首页 › 期刊 › 数学 › 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)

同学科期刊推荐

常见问题

《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类 类(计算机科学理论)。