Theory and Practice of Logic Programming
Collection
Collection
- ISSN: 1471-0684
Published by Cambridge U.P.
-
Schedulers and redundancy for a class of constraint propagation rules Article
Theory and Practice of Logic Programming, 1-25.January 2001
-
Constraint programming viewed as rule-based programming. Special issue in honor of Alain Colmerauer, on the occasion of his 60th birthday. Article
Theory and Practice of Logic Programming, 1(6), 713-750.January 2001 -
Verifying termination and error-freedom of logic programs with block declarations Article
Theory and Practice of Logic Programming, 1(4), 447-486.J.-G. Smaus, P.M. Hill and A. King
January 2001 -
Review of "Mathematical logic for computer science (second revised edition)" by Mordechai Ben-Ari, Springer 2001 Article
Theory and Practice of Logic Programming, 2(1), 123-124.January 2002
-
Schedulers and Redundancy for a Class of Constraint Propagation Rules Article
Theory and Practice of Logic Programming, 5(4-5), 441-465.January 2005 -
Book review of 'Logic: A brief course' by Daniele Mundici Article
Theory and Practice of Logic Programming, 12(3), 417-419.January 2012
-
Lock-free atom garbage collection for multithreaded Prolog Article
Theory and Practice of Logic Programming, 16(5-6)J. Wielemaker (Jan) and Harris, K. (Keri)
September 2016
-
March 2017