Journals in DBLP
Robert Demolombe , Luis Fariñas del Cerro An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1988, v:5, n:3, pp:183-206 [Journal ] Saumya K. Debray , David Scott Warren Automatic Mode Inference for Logic Programs. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1988, v:5, n:3, pp:207-229 [Journal ] W. F. Clocksin A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1988, v:5, n:3, pp:231-242 [Journal ] Joachim Beer The Occur-Check Problem Revisited. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1988, v:5, n:3, pp:243-261 [Journal ] Paolo Mancarella , Simone Martini , Dino Pedreschi Complete Logic Programs with Domain-Closure Axiom. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1988, v:5, n:3, pp:263-276 [Journal ]