ACM Transactions on Computational Logic
acm

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.

Bibliometrics

Subject Areas

Announcements

Promote Your Work with Kudos

Kudos is a free service that you can use to promote your work more effectively. After your paper has been accepted and uploaded to the ACM Digital Library, you'll receive an invitation from Kudos to create an account and add a plain-language description. Click here for further information.

Publons Reviewer Recognition Program

In an effort to better serve—and incentivize—ACM reviewers, ACM has partnered with the Publons Reviewer Recognition Service, which allows reviewers to create a profile and to track, verify and promote their efforts for ACM publications. Click here for further information.

Most Frequent Affiliations

Most Cited Authors

Latest Issue

Most Popular

About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!