|
Journals in DBLP
- Atsushi Togashi, Shoichi Noguchi
A Program Transformation from Equational Programs into Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1987, v:4, n:2, pp:85-103 [Journal]
- Alon Itai, Johann A. Makowsky
Unification as a Complexity Measure for Logic Programming. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1987, v:4, n:2, pp:105-117 [Journal]
- Jean H. Gallier, Stan Raatz
Hornlog: A Graph-Based Interpreter for General Horn Clauses. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1987, v:4, n:2, pp:119-155 [Journal]
- Christopher T. Haynes
Logic Continuations. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1987, v:4, n:2, pp:157-176 [Journal]
|