New! You can now keep track of new articles from ACM Transactions on Computational Logic (TOCL) on your personalized homepage!

ACM Transactions on Computational Logic (TOCL) Volume 6 Issue 1