TPLP Volume 18, 2018

Please use the TPLP citation in your papers, not the ARXIV one!

Issue 1, January 2018

REGULAR PAPERS

TECHNICAL NOTE

Erratum (p 120) and Addendum (p 121)

 

Issue 2, March 2018. Special Issue on computational logic for verification

Special Issue 3-4 on 34th International Conference on Logic Programming

 

 

Issue 5,6: Special Issue on Past and present (and future) of parallel and distributed computation in (constraint) logic programming