Acm Transactions On Computational Logic-影响因子0.7-首页

杂志简介中科院分区 JCR分区 CiteScore 发文统计通讯方式相关杂志期刊导航

Acm Transactions On Computational Logic 杂志简介

《Acm Transactions On Computational Logic》重点专注发布工程技术-计算机：理论方法领域的新研究，旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今，在工程技术-计算机：理论方法领域，有较高影响力，对来稿文章质量要求较高，稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。

Acm Transactions On Computational Logic 杂志中科院分区

中科院SCI分区数据

中科院SCI期刊分区（2023年12月升级版）

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

中科院SCI期刊分区（2022年12月升级版）

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

中科院SCI期刊分区（2021年12月旧的升级版）

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

中科院SCI期刊分区（2021年12月基础版）

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

中科院SCI期刊分区（2021年12月升级版）

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

中科院SCI期刊分区（2020年12月旧的升级版）

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

中科院分区趋势图

影响因子趋势图

中科院JCR分区：中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果，是衡量学术期刊影响力的一个重要指标，一般而言，发表在1区和2区的SCI论文，通常被认为是该学科领域的比较重要的成果。

影响因子：是汤森路透(Thomson Reuters)出品的期刊引证报告(Journal Citation Reports,JCR)中的一项数据，现已成为国际上通用的期刊评价指标，不仅是一种测度期刊有用性和显示度的指标，而且也是测度期刊的学术水平，乃至论文质量的重要指标。

Acm Transactions On Computational Logic 杂志JCR分区

Web of Science 数据库（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%

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

CiteScore：2.3
SJR：0.876
SNIP：1.231

CiteScore 排名

学科类别	分区	排名	百分位
大类：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趋势图

年发文量趋势图

CiteScore：是由Elsevier2016年发布的一个评价学术期刊质量的指标，该指标是指期刊发表的单篇文章平均被引用次数。CiteScore和影响因子的作用是一样的，都是可以体现期刊质量的重要指标，给选刊的作者了解期刊水平提供帮助。

Acm Transactions On Computational Logic 杂志发文统计

文章名称引用次数
Modularisation of Sequent Calculi for Normal and Non-normal Modalities3
Are Short Proofs Narrow? QBF Resolution Is Not So Simple3
Checking Admissibility Using Natural Dualities3
A Higher-Order Calculus of Computational Fields3
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison2
Path Categories and Propositional Identity Types2
An Epistemic Strategy Logic2
Some Subsystems of Constant-Depth Frege with Parity2
Fast Query Answering over Existential Rules2
Reasoning about Cognitive Trust in Stochastic Multiagent Systems1
国家/地区发文量
England24
France23
GERMANY (FED REP GER)23
Italy11
USA9
Poland8
Netherlands7
Australia5
Finland5
Spain5
机构发文发文量
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)14
UNIVERSITY OF OXFORD7
UNIVERSITY OF LONDON5
UNIVERSITY OF WARSAW5
UNIVERSITE DE PARIS4
UNIVERSITY OF AMSTERDAM4
UNIVERSITY OF BREMEN4
UNIVERSITY OF ERLANGEN NUREMBERG4
UNIVERSITY OF LIVERPOOL4
UNIVERSITY OF LUXEMBOURG4

Acm Transactions On Computational Logic 杂志社通讯方式

《Acm Transactions On Computational Logic》杂志通讯方式为：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。详细征稿细则请查阅杂志社征稿要求。本站可提供SCI投稿辅导服务，SCI检索，确保稿件信息安全保密，合乎学术规范，详情请咨询客服。