《Acm Transactions On Computational Logic》國際標(biāo)準(zhǔn)刊號?ISSN：1529-3785，電子期刊的國際標(biāo)準(zhǔn)刊號：1557-945X。

創(chuàng)刊時間：2000年

出版周期：Quarterly

出版語言：English

國際簡稱：ACM T COMPUT LOG

研究方向：工程技術(shù) - 計算機(jī)：理論方法

期刊定位與內(nèi)容：

計算邏輯上的 Acm 事務(wù)(Acm Transactions On Computational Logic)是一本由Association for Computing Machinery (ACM)出版的學(xué)術(shù)刊物，主要報道工程技術(shù)-計算機(jī)：理論方法相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊，該刊創(chuàng)刊于2000年，出版周期Quarterly。

《計算邏輯上的 Acm 事務(wù)》發(fā)表專家撰寫的簡短易懂的評論，重點(diǎn)介紹計算機(jī)：理論方法的最新關(guān)鍵主題。每篇文章都是對該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。

TOCL 歡迎提交與邏輯有關(guān)的所有方面的文章，因為它涉及計算機(jī)科學(xué)的主題。該領(lǐng)域在計算機(jī)科學(xué)中有著悠久的傳統(tǒng)。獲得 ACM 圖靈獎的幾位研究人員也為該領(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)和驗證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。

邏輯繼續(xù)在計算機(jī)科學(xué)中發(fā)揮重要作用，并滲透到其多個領(lǐng)域，包括人工智能、計算復(fù)雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。

本期刊的編輯委員會尋求并希望吸引上述所有計算邏輯領(lǐng)域的高質(zhì)量投稿，以便 TOCL 成為該領(lǐng)域的標(biāo)準(zhǔn)參考。

理論和尋求應(yīng)用論文。尤其歡迎展示邏輯在計算機(jī)科學(xué)中的新用途的論文。

出版周期與發(fā)文量：

該雜志出版周期Quarterly。近年來，該期刊的年發(fā)文量約為35篇。

學(xué)術(shù)影響力：

2021-2022年最新版WOS分區(qū)等級：Q1，2023年發(fā)布的影響因子為0.7，CiteScore指數(shù)2.3，SJR指數(shù)0.876。本刊非開放獲取期刊。

聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。