Papers to appear in TPLP and TOCL

Contents Back to top

Regular papers to appear in Theory and Practice of Logic Programming
http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/TPLP/index.html


Volume 5, Issue 4&5. Special Issue on Constraint Handling Rules

Book reviews:


Volume 5, Issue 6. November 2005

Regular Papers

Technical Note


Special Issues (to appear)

Special Issue on Reactive Systems Special Issue on Multiparadigm Languages and Constraint Programming

Accepted Regular Papers

Accepted Technical Note

Accepted Programming Pearl


Accepted Book Review

Back to top



ACM Transactions on Computational Logic (TOCL)
http://www.acm.org/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 7, Number 1 (January 2006) (tentative)
Volume 7, Number 2 (April 2006)
(tentative)
Future Issues (the order of the papers can change)


Back to top