《Acm Transactions On Computational Logic》雜志投稿后多久回復(fù)取決于雜志審稿速度：預(yù)計(jì) 12周，或約稿 。投稿前請仔細(xì)閱讀相關(guān)投稿須知，有任何疑問可以聯(lián)系雜志社或咨詢在線客服。

《Acm Transactions On Computational Logic》雜志于2000年創(chuàng)刊，刊號為ISSN：1529-3785，EISSN：1557-945X，是一本專注于工程技術(shù) - 計(jì)算機(jī)：理論方法領(lǐng)域的SCI期刊，出版周期為：Quarterly，目前未開放OA（未開放訪問）。主要發(fā)表由專家撰寫的簡短且易于理解的文章，內(nèi)容精煉且具有較高的學(xué)術(shù)價(jià)值，特別適合那些希望快速了解某一特定研究方向最新進(jìn)展的讀者。

TOCL 歡迎提交與邏輯有關(guān)的所有方面的文章，因?yàn)樗婕坝?jì)算機(jī)科學(xué)的主題。該領(lǐng)域在計(jì)算機(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)和驗(yàn)證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。

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

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

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

在收錄情況方面，《Acm Transactions On Computational Logic》雜志在中科院最新升級版分區(qū)表中，該雜志分區(qū)信息為大類學(xué)科數(shù)學(xué)4區(qū)，影響因子為0.7，CiteScore為2.3，在工程技術(shù) - 計(jì)算機(jī)：理論方法領(lǐng)域的排名較為靠前，其 SJR為 0.876，SNIP為1.231，h-index指數(shù)為43，這些數(shù)據(jù)都反映出期刊在學(xué)術(shù)界具有較高的影響力和學(xué)術(shù)價(jià)值。

投稿SCI期刊后收到回復(fù)的時間因多種因素而異，具體時間如下：

初審階段：編輯初審?fù)ǔＴ?-4周內(nèi)完成，主要檢查論文的格式、規(guī)范性以及是否符合期刊的基本要求。

同行評審階段：若論文通過初審，編輯會將其發(fā)送給多位同行評審人進(jìn)行詳細(xì)評估。這一階段是整個審稿過程中最耗時的部分，通常需要1-3個月。

終審階段：編輯在得到審稿人的反饋后，會根據(jù)審稿人的意見給出接收、小修、大修、拒稿等結(jié)果。這一階段的時間相對較短，通常在收到審稿意見后幾天到一周內(nèi)完成。

投稿者在選擇期刊時，應(yīng)考慮到審稿周期，并做好長期等待的準(zhǔn)備，同時也要注意不同期刊的具體要求和效率可能大相徑庭。

聲明：以上內(nèi)容來源于互聯(lián)網(wǎng)公開資料，如有不準(zhǔn)確之處，請聯(lián)系我們進(jìn)行修改。