Journals in DBLP

J. Log. Program.
1993, volume: 16, number: 3

1. Hassan Aït-Kaci, Andreas Podelski
   Towards a Meaning of LIFE. [Citation Graph (2, 0)][DBLP]
   J. Log. Program., 1993, v:16, n:3, pp:195-234 [Journal]
   
2. Jean-Louis Imbert, Jacques Cohen, Marie-Dominique Weeger
   An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:16, n:3, pp:235-253 [Journal]
   
3. Jimmy Ho-Man Lee, Maarten H. van Emden
   Interval Computation as Deduction in CHIP. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:16, n:3, pp:255-276 [Journal]
   
4. Molly Wilson, Alan Borning
   Hierarchical Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:16, n:3, pp:277-318 [Journal]
   
5. Thierry Le Provost, Mark Wallace
   Generalized Constraint Propagation over the CLP Scheme. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:16, n:3, pp:319-359 [Journal]
   
6. Divesh Srivastava, Raghu Ramakrishnan
   Pushing Constraint Selections. [Citation Graph (6, 0)][DBLP]
   J. Log. Program., 1993, v:16, n:3, pp:361-414 [Journal]