Volume 37, Numbers 1-3, October 1998

• 
  Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey: The Semantics of Constraint Logic Programs. 1-46
• 
  Jürgen Dix, Frieder Stolzenburg: A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. 47-76
• 
  Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Automatically Proving Program Properties. 77-93

• 
  Thom W. Frühwirth: Theory and Practice of Constraint Handling Rules. 95-138
• 
  Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). 139-164
• 
  Olivier Lhomme, Arnaud Gotlieb, Michel Rueher: Dynamic Optimization of Interval Narrowing Algorithms. 165-183
• 
  François Fages, Julian Fowler, Thierry Sola: Experiments in Reactive Constraint Logic Programming. 185-212

• 
  Henning Christiansen: Automated Reasoning with a Constraint-Based Metainterpreter. 213-254
• 
  Nirad Sharma, Robert M. Colomb: Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. 255-283

last updated on Fri May 24 06:19:09 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page