The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Program.
1998, volume: 37, number: 1-3

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002