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)和編程語言。該雜志的編輯委員會(huì)尋求并希望吸引高質(zhì)量的提交在上述所有領(lǐng)域的計(jì)算邏輯，使TOCL成為該領(lǐng)域的標(biāo)準(zhǔn)參考。理論和應(yīng)用論文都是尋求。特別歡迎提交顯示邏輯在計(jì)算機(jī)科學(xué)中的新穎應(yīng)用的作品。

ACM Transactions on Computational Logic welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science.Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.