Journals in DBLP

Inf. Comput.
1998, volume: 147, number: 1

1. Robert Nieuwenhuis
   Decidability and Complexity Analysis by Basic Paramodulation. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:147, n:1, pp:1-21 [Journal]
   
2. Luca Cabibbo
   The Expressive Power of Stratified Logic Programs with Value Invention. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:147, n:1, pp:22-56 [Journal]
   
3. Michael Benedikt, Timothy Griffin, Leonid Libkin
   Verifiable Properties of Database Transactions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:147, n:1, pp:57-88 [Journal]
   
4. Nader H. Bshouty, Sally A. Goldman, H. David Mathias
   Noise-Tolerant Parallel Learning of Geometric Concepts. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1998, v:147, n:1, pp:89-110 [Journal]