Journals in DBLP

J. Log. Program.
1993, volume: 17, number: 1

1. James Harland
   Success and Failure for Hereditary Harrop Formulae. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:1, pp:1-29 [Journal]
   
2. Hai-Ping Ko, David A. McAllester, Mark E. Nadel
   Lower Bounds for the Lengths of Refutations. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:1, pp:31-58 [Journal]
   
3. Gopal Gupta, Bharat Jayaraman
   And-Or Parallelism on Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:1, pp:59-89 [Journal]