首頁 > SCI期刊 > SCIE期刊 > 數學 > 中科院4區 > JCRQ1 > 期刊介紹
評價信息：
影響因子：0.7
年發文量：35
《計算邏輯上的 Acm 事務》(Acm Transactions On Computational Logic)是一本以工程技術-計算機：理論方法綜合研究為特色的國際期刊。該刊由Association for Computing Machinery (ACM)出版商創刊于2000年，刊期Quarterly。該刊已被國際重要權威數據庫SCIE收錄。期刊聚焦工程技術-計算機：理論方法領域的重點研究和前沿進展，及時刊載和報道該領域的研究成果，致力于成為該領域同行進行快速學術交流的信息窗口與平臺。該刊2023年影響因子為0.7。CiteScore指數值為2.3。
TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M. Clarke, Allen E. Emerson, and Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).
Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.
The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.
Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.
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 成為該領域的標準參考。
理論和尋求應用論文。尤其歡迎展示邏輯在計算機科學中的新用途的論文。
《Acm Transactions On Computational Logic》(計算邏輯上的 Acm 事務)編輯部通訊方式為ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。如果您需要協助投稿或潤稿服務，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務十年，熟悉發表政策，可為您提供一對一投稿指導，避免您在投稿時頻繁碰壁，節省您的寶貴時間，有效提升發表機率，確保SCI檢索（檢索不了全額退款）。我們視信譽為生命，多方面確保文章安全保密，在任何情況下都不會泄露您的個人信息或稿件內容。
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區 | 否 | 否 |
基礎版：即2019年12月17日，正式發布的《2019年中國科學院文獻情報中心期刊分區表》；將JCR中所有期刊分為13個大類,期刊范圍只有SCI期刊。
升級版：即2020年1月13日，正式發布的《2019年中國科學院文獻情報中心期刊分區表升級版（試行）》,升級版采用了改進后的指標方法體系對基礎版的延續和改進，影響因子不再是分區的唯一或者決定性因素，也沒有了分區的IF閾值期刊由基礎版的13個學科擴展至18個，科研評價將更加明確。期刊范圍有SCI期刊、SSCI期刊。從2022年開始，分區表將只發布升級版結果，不再有基礎版和升級版之分,基礎版和升級版（試行）將過渡共存三年時間。
JCR分區等級：Q1
| 按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% |
| Gold OA文章占比 | 研究類文章占比 | 文章自引率 |
| 3.41% | 100.00% | -- |
| 開源占比 | 出版國人文章占比 | OA被引用占比 |
| -- | 0.01 | -- |
名詞解釋：JCR分區在學術期刊評價、科研成果展示、科研方向引導以及學術交流與合作等方面都具有重要的價值。通過對期刊影響因子的精確計算和細致劃分，JCR分區能夠清晰地反映出不同期刊在同一學科領域內的相對位置，從而幫助科研人員準確識別出高質量的學術期刊。
| CiteScore | SJR | SNIP | CiteScore 指數 | ||||||||||||||||||||
| 2.3 | 0.876 | 1.231 |
|
名詞解釋：CiteScore是基于Scopus數據庫的全新期刊評價體系。CiteScore 2021 的計算方式是期刊最近4年（含計算年度）的被引次數除以該期刊近四年發表的文獻數。CiteScore基于全球最廣泛的摘要和引文數據庫Scopus，適用于所有連續出版物，而不僅僅是期刊。目前CiteScore 收錄了超過 26000 種期刊，比獲得影響因子的期刊多13000種。被各界人士認為是影響因子最有力的競爭對手。
歷年中科院分區趨勢圖
歷年IF值(影響因子)
歷年引文指標和發文量
歷年自引數據
2019-2021年國家/地區發文量統計
| 國家/地區 | 數量 |
| England | 24 |
| France | 23 |
| GERMANY (FED REP GER) | 23 |
| Italy | 11 |
| USA | 9 |
| Poland | 8 |
| Netherlands | 7 |
| Australia | 5 |
| Finland | 5 |
| Spain | 5 |
2019-2021年機構發文量統計
| 機構 | 數量 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIF... | 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 |
2019-2021年文章引用數據
| 文章引用名稱 | 引用次數 |
| Modularisation of Sequent Calculi for No... | 3 |
| Are Short Proofs Narrow? QBF Resolution ... | 3 |
| Checking Admissibility Using Natural Dua... | 3 |
| A Higher-Order Calculus of Computational... | 3 |
| Interval vs. Point Temporal Logic Model ... | 2 |
| Path Categories and Propositional Identi... | 2 |
| An Epistemic Strategy Logic | 2 |
| Some Subsystems of Constant-Depth Frege ... | 2 |
| Fast Query Answering over Existential Ru... | 2 |
| Reasoning about Cognitive Trust in Stoch... | 1 |
2019-2021年文章被引用數據
| 被引用期刊名稱 | 數量 |
| LOG METH COMPUT SCI | 39 |
| ARTIF INTELL | 23 |
| ACM T COMPUT LOG | 19 |
| THEOR PRACT LOG PROG | 19 |
| MATH STRUCT COMP SCI | 18 |
| THEOR COMPUT SCI | 17 |
| J AUTOM REASONING | 15 |
| J COMPUT SYST SCI | 10 |
| J LOG ALGEBR METHODS | 10 |
| IEEE ACCESS | 7 |
2019-2021年引用數據
| 引用期刊名稱 | 數量 |
| THEOR COMPUT SCI | 37 |
| J ACM | 27 |
| INFORM COMPUT | 23 |
| J LOGIC COMPUT | 22 |
| ACM T COMPUT LOG | 19 |
| ARTIF INTELL | 17 |
| SIAM J COMPUT | 17 |
| LOG METH COMPUT SCI | 15 |
| ANN PURE APPL LOGIC | 13 |
| J AUTOM REASONING | 10 |
中科院分區：1區
影響因子：7.7
審稿周期：約Time to first decision: 9 days; Review time: 64 days; Submission to acceptance: 82 days; 約2.7個月 約7.8周
中科院分區：1區
影響因子：8.1
審稿周期：約Time to first decision: 6 days; Review time: 44 days; Submission to acceptance: 54 days; 約4.1個月 約6.8周
中科院分區：3區
影響因子：3.3
審稿周期：約17.72天 11 Weeks
中科院分區：1區
影響因子：98.4
審稿周期： 約3月
中科院分區：2區
影響因子：5.8
審稿周期： 約2.4個月 約7.6周
中科院分區：2區
影響因子：5.1
審稿周期： 約1.9個月 約2.7周
若用戶需要出版服務，請聯系出版商：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。
