ACM Transactions on Computational Logic (TOCL)

Accepted Papers

The files below are the final versions of the papers submitted by the authors. The definite, published versions of the papers are available from the TOCL home page within the ACM Digital Library.

Volume 16, Issue 1 Volume 16, Issue 2 Volume 16, Issue 3 Future Issues Back to home page