ACM Transactions on Computational Logic

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

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.