推荐合适期刊 投稿指导 助力快速见刊
Acm Transactions On Computational Logic是数学领域的一本优秀期刊。由Association for Computing Machinery (ACM)出版社出版。该期刊主要发表数学领域的原创性研究成果。创刊于2000年,该期刊主要刊载工程技术-计算机:理论方法及其基础研究的前瞻性、原始性、首创性研究成果、科技成就和进展。该期刊不仅收录了该领域的科技成就和进展,更以其深厚的学术积淀和卓越的审稿标准,确保每篇文章都具备高度的学术价值。此外,该刊同时被SCIE数据库收录,并被划分为中科院SCI4区期刊,它始终坚持创新,不断专注于发布高度有价值的研究成果,不断推动数学领域的进步。
同时,我们注重来稿文章表述的清晰度,以及其与我们的读者群体和研究领域的相关性。为此,我们期待所有投稿的文章能够保持简洁明了、组织有序、表述清晰。该期刊平均审稿速度为平均 12周,或约稿 。若您对于稿件是否适合该期刊存在疑虑,建议您在提交前主动与期刊主编取得联系,或咨询本站的客服老师。我们的客服老师将根据您的研究内容和方向,为您推荐最为合适的期刊,助力您顺利投稿,实现学术成果的顺利发表。
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 3区 3区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 | 2区 3区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 4区 3区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 | 2区 3区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 3区 3区 | 否 | 否 |
按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% |
学科类别 | 分区 | 排名 | 百分位 |
大类: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% |
年份 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 |
年发文量 | 35 | 42 | 25 | 33 | 31 | 25 | 34 | 26 | 27 | 35 |
国家/地区 | 数量 |
England | 24 |
France | 23 |
GERMANY (FED REP GER) | 23 |
Italy | 11 |
USA | 9 |
Poland | 8 |
Netherlands | 7 |
Australia | 5 |
Finland | 5 |
Spain | 5 |
机构 | 数量 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) | 14 |
UNIVERSITY OF OXFORD | 7 |
UNIVERSITY OF LONDON | 5 |
UNIVERSITY OF WARSAW | 5 |
UNIVERSITE DE PARIS | 4 |
UNIVERSITY OF AMSTERDAM | 4 |
UNIVERSITY OF BREMEN | 4 |
UNIVERSITY OF ERLANGEN NUREMBERG | 4 |
UNIVERSITY OF LIVERPOOL | 4 |
UNIVERSITY OF LUXEMBOURG | 4 |
文章名称 | 引用次数 |
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 |
SCIE
影响因子 0.3
SCIE
影响因子 0.8
SCIE
影响因子 1.3
CiteScore 2.3
SCIE
影响因子 1
CiteScore 1.6
SCIE
影响因子 2.4
CiteScore 3.7
SCIE
影响因子 0.2
CiteScore 0.8
SCIE
影响因子 0.9
CiteScore 3.3
SCIE
影响因子 4.4
CiteScore 6.2
SCIE
影响因子 1
CiteScore 1.6
SCIE
影响因子 1.4
CiteScore 3.9
若用户需要出版服务,请联系出版商:ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。