推薦合適期刊 投稿指導 助力快速見刊免費咨詢
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。