計算邏輯上的 Acm 事務（Acm Transactions On Computational Logic）在中科院分區(qū)中位于4區(qū)，JCR分區(qū)位于Q1。審稿速度一般為 12周，或約稿 ，且近兩年沒有被列入國際預警名單，您可以放心投稿。如果您需要投稿指導，可在線咨詢我們的客服老師，我們將竭誠為您服務。

TOCL 歡迎提交與邏輯有關的所有方面的文章，因為它涉及計算機科學的主題。該領域在計算機科學中有著悠久的傳統(tǒng)。獲得 ACM 圖靈獎的幾位研究人員也為該領域做出了貢獻，即 Edgar Codd（關系數(shù)據(jù)庫系統(tǒng)）、Stephen Cook（邏輯理論的復雜性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序邏輯、程序推導和驗證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。

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

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

理論和尋求應用論文。尤其歡迎展示邏輯在計算機科學中的新用途的論文。