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 15, Number 1 Volume 15, Number 2 (tentative) Future Issues (the order of the papers can change) Back to home page