Volume 4,
Number 1-2,
January/March 2004
Book Reviews
- François Laburthe:
Book review: Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6.
233-235 BibTeX
- Miroslaw Truszczynski:
Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8.
237-239 BibTeX
Volume 4,
Number 3,
May 2004
Technical Note
Programming Pearl
Book review
- Eric Monfroy:
Book review: Essentials of Constraint Programming by Thom Frühwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages.
381-382 BibTeX
Volume 4,
Number 4,
July 2004
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.
539-541 BibTeX
Volume 4,
Number 5-6,
September-November 2004
Special Issue on Verification and Computational Logic
- Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche:
Introduction to the Special Issue on Verification and Computational Logic.
543-544 BibTeX
- Giampaolo Bella, Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols.
545-572 BibTeX
- Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications.
573-619 BibTeX
- Massimo Franceschet, Angelo Montanari:
Temporalized logics and automata for time granularity.
621-658 BibTeX
- Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe:
On model checking data-independent systems with arrays without reset.
659-693 BibTeX
- Carla Piazza, Alberto Policriti:
Ackermann Encoding, Bisimulations, and OBDDs.
695-718 BibTeX
- Alexander Serebrenik, Danny De Schreye:
Inference of termination conditions for numerical loops in Prolog.
719-751 BibTeX
Book reviews
- Peter A. Flach:
Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by John W. Lloyd, Springer-Verlag, 2003, ISBN 3-540-42027-4.
753-755 BibTeX
- Roland H. C. Yap:
Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7.
755-757 BibTeX
- Francesca Rossi:
Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0.
758-762 BibTeX
Copyright © Sun May 17 00:30:35 2009
by Michael Ley (ley@uni-trier.de)