Journals in DBLP
J. Log. Program. 1991, volume: 10, number: 1/2/3&4
Takushi Tanaka Definite-Clause Set Grammars: A Formalism for Problem Solving. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:1-17 [Journal ] John C. Shepherdson Unsolvable Problems for SLDNF Resolution. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:19-22 [Journal ] Robert M. Colomb Enhancing Unification in Prolog through Clause Indexing. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:23-44 [Journal ] Ian T. Foster A Declarative State Transition System. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:45-67 [Journal ] Giorgio Ausiello , Giuseppe F. Italiano On-Line Algorithms for Polynomially Solvable Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:69-90 [Journal ] Maurice Bruynooghe A Practical Framework for the Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:91-124 [Journal ] Eyal Yardeni , Ehud Y. Shapiro A Type System for Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:125-153 [Journal ] Yow-Jian Lin , Vipin Kumar AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:155-178 [Journal ] Moshe Y. Vardi Database Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:179-180 [Journal ] Catriel Beeri , Shamim A. Naqvi , Oded Shmueli , Shalom Tsur Set Constructors in a Logic Database Language. [Citation Graph (16, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:181-232 [Journal ] Jeffrey F. Naughton , Yehoshua Sagiv A Simple Characterization of Uniform Boundedness for a Class of Recursions. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:233-252 [Journal ] Catriel Beeri , Raghu Ramakrishnan On the Power of Magic. [Citation Graph (17, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:255-299 [Journal ] Gösta Grahne , Seppo Sippu , Eljas Soisalon-Soininen Efficient Evaluation for a Subset of Recursive Queries. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:301-332 [Journal ] Alberto Marchetti-Spaccamela , Antonella Pelaggi , Domenico Saccà Comparison of Methods for Logic-Query Implementation. [Citation Graph (3, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:333-360 [Journal ]