期刊在线咨询服务, 立即咨询
Acm Transactions On Computational Logic
  • ISSN:1529-3785

  • E-ISSN:1557-945X

  • H-index指数:43

  • 文章自引率:

  • 影响因子:0.7

  • 年发文量:35

  • 研究类文章占比:100.00%

  • 开源占比:

  • OA被引用占比:

计算逻辑上的 Acm 事务 SCIE

Acm Transactions On Computational Logic

  • 国际简称:ACM T COMPUT LOG

  • 出版周期:Quarterly

  • 研究方向:工程技术 - 计算机:理论方法

  • 出版语言:English

  • 创刊时间:2000

  • 是否预警:

  • 出版地区:UNITED STATES

  • 是否 OA:未开放

期刊介绍

《Acm Transactions On Computational Logic》(《计算逻辑上的 Acm 事务》)是一本由Association for Computing Machinery (ACM)出版的工程技术-计算机:理论方法学术刊物,主要刊载工程技术-计算机:理论方法相关领域研究成果与实践,旨在打造一种学术水平高、可读性强、具有全球影响力的学术期刊。本刊已入选SCIE来源期刊。该刊创刊于2000年,出版周期Quarterly。2023年发布的影响因子为0.7。

服务流程:

期刊简介

Magazine introduction

计算逻辑上的 Acm 事务(Acm Transactions On Computational Logic)在中科院分区中位于4区,JCR分区位于Q1。审稿速度一般为 12周,或约稿 ,且近两年没有被列入国际预警名单,您可以放心投稿。如果您需要投稿指导,可在线咨询我们的客服老师,我们将竭诚为您服务。

TOCL 欢迎提交与逻辑有关的所有方面的文章,因为它涉及计算机科学的主题。该领域在计算机科学中有着悠久的传统。获得 ACM 图灵奖的几位研究人员也为该领域做出了贡献,即 Edgar Codd(关系数据库系统)、Stephen Cook(逻辑理论的复杂性)、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis(程序逻辑、程序推导和验证、编程语言语义)、Robin Milner(交互式定理证明、并发演算和函数式编程)和 John McCarthy(人工智能中的函数式编程和逻辑)。

逻辑继续在计算机科学中发挥重要作用,并渗透到其多个领域,包括人工智能、计算复杂性、数据库系统和编程语言。

本期刊的编辑委员会寻求并希望吸引上述所有计算逻辑领域的高质量投稿,以便 TOCL 成为该领域的标准参考。

理论和寻求应用论文。尤其欢迎展示逻辑在计算机科学中的新用途的论文。

中科院SCI分区

Magazine introduction

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区

分区表升级版:旨在解决期刊学科体系划分与学科发展以及融合趋势的不相容问题。升级版有如下优势:一是论文层级的主题体系既能体现学科交叉特点,又可以精准揭示期刊载文的多学科性;二是采用“期刊超越指数”替代影响因子指标,解决了影响因子数学性质缺陷对评价结果的干扰。整体而言,分区表升级版(试行)突破了期刊评价中学科体系构建、评价指标选择等瓶颈问题,能够更为全面地揭示学术期刊的影响力,为科研评价“去四唯”提供解决思路。相关研究成果经过国际同行的认可,已经发表在科学计量学领域国际重要期刊。

JCR 分区

Magazine introduction(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:JCR没有设置大类,只分为176个具体学科,按当期(1年)的影响因子进行分区;JCR是按照“平均主义”思想,根据刊物IF的高至低平均划分4个区,每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构,1区只有5%的顶级期刊,2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少,杂志质量相对也高,基本都是本领域的顶级期刊。

统计数据

Magazine introduction

影响因子历年变化趋势

CiteScore历年变化趋势

中科院JCR分区历年变化趋势

引文指标和发文量历年变化趋势

自引数据历年变化趋势

影响因子:表示一种杂志的被引用频率,是国际上通用的期刊评价指标,它不仅是一种测度期刊有用性和显示度的指标,而且也是测度期刊的学术水平,乃至论文质量的重要指标。

CiteScore:是影响因子最强有力的竞争者,是衡量期刊影响力的一个指标,由爱思维尔于2020年发布,旨在让人们更细致地了解影响力对研究和期刊的意义。

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%

TOP期刊

常见问题

Magazine introduction

Acm Transactions On Computational Logic

计算逻辑上的 Acm 事务定制服务方案,SCI检索

免责声明

Magazine introduction

若用户需要出版服务,请联系出版商,地址:ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。