Journals in DBLP
Inf. Comput. 1998, volume: 147, number: 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 ] 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 ] 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 ] 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 ]