ACM Transactions on Computational Logic
ACM Trans Comput Logic
The ACM Transactions on Computational Logic (TOCL) is a new journal devoted to the research concerned with all uses of logic in the field of 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. New uses of logic arise in such fields as machine learning, database systems, program verification and specification, and automated deduction. By launching TOCL, the ACM hopes to provide further impetus to this research field and to bring together the community of researchers who have been working in it.
- Further information
- Category Links