Acm Transactions On Computational Logic杂志是一本国际优秀期刊,是一本未开放获取期刊。该杂志近三年影响因子分别为:2023年0.7、2022年0.5、2021年0.898。该杂志近三年CiteScore评价分区分别为:2023年2.3区、2022年2.6区、2021年2.6区。该刊专门致力于推进COMPUTER SCIENCE, THEORY & METHODS领域的研究,涵盖了COMPUTER SCIENCE, THEORY & METHODS领域的各个方面,汇集所有专家,促进COMPUTER SCIENCE, THEORY & METHODS领域的更好协作和信息共享。该期刊为COMPUTER SCIENCE, THEORY & METHODS领域的科研人员提供了一个高影响力的论坛,使该领域的科研人员、从业人员和学生能够接触到尖端的经验性调查分析、学术对话以及行业科研成果的最新发展。通过收录高质量的原创论文和评论论文,促进COMPUTER SCIENCE, THEORY & METHODS领域的应用与发展。该期刊还将该领域的创新与应用,以提高研究的质量和实用性。近年来在该刊上发文的国家和地区主要有:Vietnam(发文量1)、USA(发文量9)、Taiwan(发文量3)、Switzerland(发文量4)、Sweden(发文量1)、Spain(发文量5)。
Acm Transactions On Computational Logic是一本由Association for Computing Machinery (ACM)出版社发行的知名COMPUTER SCIENCE, THEORY & METHODS期刊。该杂志社联系方式ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。审稿过程是确保期刊质量的关键环节。Acm Transactions On Computational Logic杂志的审稿速度平均需要 12周,或约稿 。这一时间周期既体现了编辑部对稿件质量的严格把关,也反映了审稿专家对学术研究的尊重和支持。在这个过程中,作者们可以充分利用这段时间对自己的研究成果进行完善和优化,以提高论文的质量和影响力。如果您对该期刊感兴趣,并希望了解更多关于投稿流程、投稿要求和技巧的信息,您可以咨询本站的客服老师,我们将帮助您了解期刊的投稿要求、审稿流程以及可能遇到的问题,并根据您的具体情况提供相应的建议和解决方案。
CiteScore | SJR | SNIP | CiteScore排名 | |||
---|---|---|---|---|---|---|
2.3 | 0.876 | 1.231 | 学科类别 | 分区 | 排名 | 百分位 |
大类:大类:Mathematics
小类:小类:Logic
|
Q2 | 11/41 | 73% | |||
大类:大类:Mathematics
小类:小类:ComputationalMathematics
|
Q3 | 99/189 | 47% | |||
大类:大类:Mathematics
小类:小类:GeneralComputerScience
|
Q3 | 135/232 | 42% | |||
大类:大类:Mathematics
小类:小类:TheoreticalComputerScience
|
Q3 | 81/130 | 37% |
按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% |
文章名称
引用次数
Modularisation of Sequent Calculi for Normal and Non-normal Modalities
3
Are Short Proofs Narrow? QBF Resolution Is Not So Simple
3
Checking Admissibility Using Natural Dualities
3
A Higher-Order Calculus of Computational Fields
3
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
2
Path Categories and Propositional Identity Types
2
An Epistemic Strategy Logic
2
Some Subsystems of Constant-Depth Frege with Parity
2
Fast Query Answering over Existential Rules
2
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
1
国家/地区
发文量
TEngland
24
TFrance
23
TGERMANY (FED REP GER)
23
TItaly
11
TUSA
9
TPoland
8
TNetherlands
7
TAustralia
5
TFinland
5
TSpain
5





