出版地址：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
期刊简介：ACM Transactions on Computational Logic《美国计算机协会计算逻辑会报》（季刊）. ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages.
