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
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.