TOCL

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide


	Feedback

	Portal DL Home TransactionsTOCL


	Search within ACM Transactions on Computational Logic (TOCL): Advanced Search
	Browse ACM Transactions on Computational Logic (TOCL):

TOCL
	ISSN: 1529-3785 TOC Service Current Issue Volume 11 , Issue 1 (October 2009) Archive Volume 1 , Issue 1 (July 2000) Volume 10 , Issue 4 (August 2009)

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.