計(jì)算邏輯上的 Acm 事務(wù)(Acm Transactions On Computational Logic)是一本由Association for Computing Machinery (ACM)出版的一本工程技術(shù)-計(jì)算機(jī)：理論方法學(xué)術(shù)刊物，主要報(bào)道工程技術(shù)-計(jì)算機(jī)：理論方法相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊，該刊創(chuàng)刊于2000年，出版周期Quarterly。2021-2022年最新版WOS分區(qū)等級(jí)：Q1，2023年發(fā)布的影響因子為0.7，CiteScore指數(shù)2.3，SJR指數(shù)0.876。本刊非開放獲取期刊。
TOCL 歡迎提交與邏輯有關(guān)的所有方面的文章，因?yàn)樗婕坝?jì)算機(jī)科學(xué)的主題。該領(lǐng)域在計(jì)算機(jī)科學(xué)中有著悠久的傳統(tǒng)。獲得 ACM 圖靈獎(jiǎng)的幾位研究人員也為該領(lǐng)域做出了貢獻(xiàn)，即 Edgar Codd（關(guān)系數(shù)據(jù)庫系統(tǒng)）、Stephen Cook（邏輯理論的復(fù)雜性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序邏輯、程序推導(dǎo)和驗(yàn)證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。
邏輯繼續(xù)在計(jì)算機(jī)科學(xué)中發(fā)揮重要作用，并滲透到其多個(gè)領(lǐng)域，包括人工智能、計(jì)算復(fù)雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。
本期刊的編輯委員會(huì)尋求并希望吸引上述所有計(jì)算邏輯領(lǐng)域的高質(zhì)量投稿，以便 TOCL 成為該領(lǐng)域的標(biāo)準(zhǔn)參考。
理論和尋求應(yīng)用論文。尤其歡迎展示邏輯在計(jì)算機(jī)科學(xué)中的新用途的論文。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
中科院JCR期刊分區(qū)（又稱分區(qū)表、分區(qū)數(shù)據(jù)）是中國科學(xué)院文獻(xiàn)情報(bào)中心世界科學(xué)前沿分析中心的科學(xué)研究成果。在中科院期刊分區(qū)表中，主要參考3年平均IF作為學(xué)術(shù)影響力，最終每個(gè)分區(qū)的期刊累積學(xué)術(shù)影響力是相同的，各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6%
|
| 學(xué)科：LOGIC | SCIE | Q1 | 4 / 25 |
86%
|
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 58 / 143 |
59.79%
|
| 學(xué)科：LOGIC | SCIE | Q2 | 12 / 25 |
54%
|
湯森路透每年出版一本《期刊引用報(bào)告》（Journal Citation Reports，簡(jiǎn)稱JCR）。JCR對(duì)86000多種SCI期刊的影響因子（Impact Factor）等指數(shù)加以統(tǒng)計(jì)。JCR將收錄期刊分為176個(gè)不同學(xué)科類別在JCR的Journal Ranking中，主要參考當(dāng)年IF，最終每個(gè)分區(qū)的期刊數(shù)量是均分的。
| 學(xué)科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：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：該指標(biāo)由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計(jì)算方式是：例如，某期刊2022年CiteScore的計(jì)算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
| 文章名稱 | 引用次數(shù) |
| 期刊名稱 | 引用次數(shù) |
| 期刊名稱 | 引用次數(shù) |
| 國家/地區(qū)名 | 數(shù)量 |
| 機(jī)構(gòu)名 | 數(shù)量 |
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 4區(qū) JCR分區(qū) Q3
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 4區(qū) JCR分區(qū) Q2
查看詳情若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。
