ACM T COMPUT LOG是ACM Transactions on Computational Logic期刊的縮寫。ACM T COMPUT LOG期刊的出版地是UNITED STATES，主要的研究方向是工程技術(shù)-計(jì)算機(jī)：理論方法。

ACM計(jì)算邏輯事務(wù)歡迎提交與計(jì)算機(jī)科學(xué)主題相關(guān)的所有方面的邏輯。這一領(lǐng)域在計(jì)算機(jī)科學(xué)方面有著悠久的傳統(tǒng)。邏輯在計(jì)算機(jī)科學(xué)中繼續(xù)發(fā)揮著重要的作用，并已滲透到它的幾個(gè)領(lǐng)域，包括人工智能、計(jì)算復(fù)雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。該雜志的編輯委員會尋求并希望吸引高質(zhì)量的提交在上述所有領(lǐng)域的計(jì)算邏輯，使TOCL成為該領(lǐng)域的標(biāo)準(zhǔn)參考。理論和應(yīng)用論文都是尋求。特別歡迎提交顯示邏輯在計(jì)算機(jī)科學(xué)中的新穎應(yīng)用的作品。

該刊的25，發(fā)行周期是Quarterly，從官網(wǎng)http://tocl.acm.org/上查到本刊的通訊地址是ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701，投稿地址是http://mc.manuscriptcentral.com/tocl。網(wǎng)友對該刊的審稿速度給與的評價(jià)是>12周，或約稿，錄用比一般是容易。