|
Journals in DBLP
- Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
The Semantics of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:1-46 [Journal]
- Jürgen Dix, Frieder Stolzenburg
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:47-76 [Journal]
- Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard
CLP(chi) for Automatically Proving Program Properties. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:77-93 [Journal]
- Thom W. Frühwirth
Theory and Practice of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:95-138 [Journal]
- Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
Design, Implementation, and Evaluation of the Constraint Language cc(FD). [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:139-164 [Journal]
- Olivier Lhomme, Arnaud Gotlieb, Michel Rueher
Dynamic Optimization of Interval Narrowing Algorithms. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:165-183 [Journal]
- François Fages, Julian Fowler, Thierry Sola
Experiments in Reactive Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:185-212 [Journal]
- Henning Christiansen
Automated Reasoning with a Constraint-Based Metainterpreter. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:213-254 [Journal]
- Nirad Sharma, Robert M. Colomb
Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:255-283 [Journal]
|