TPLP Volume 4, 2004

Please use the TPLP citation in your papers, not the corr one!
Volume 4, Issue 1 & 2

Regular Papers

Book Reviews

  • Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6, François Laburthe. (pp 233 – 235) [html] [pdf]
  • Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8, Miroslaw Truszczynski. (pp 237 – 239) [html] [pdf]

Volume 4, Issue 3

Regular Papers

Technical Note

Programming Pearl

Book review

  • Eric Monfroy: Essentials of Constraint Programming by Thom Fruhwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages. (pp 381-382) [html] [pdf]

Volume 4, Issue 4

Regular Papers:

Book review

  • Femke van Raamsdonk: Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0, xi + 414 pages. (pp 539-541) [html] [pdf]

Volume 4, Issue 5 & Issue 6

Special Issue on Verification and Computational Logic

Book reviews

  • Peter Flach: Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by by John W. Lloyd, Springer-Verlag, 2003, hard cover: ISBN 3-540-42027-4, x + 256 pages. (pp 753-755) [html] [pdf]
  • Roland H.C. Yap: Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, hard cover: ISBN 1-55860-890-7, xx + 481 pages (pp 755-757) [html] [pdf]
  • Francesca Rossi: Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, hard cover: ISBN 0-521-82583-0, xii + 407 pages. (pp 758-762) [html] [pdf]