Journals in DBLP

J. Log. Comput.
1998, volume: 8, number: 2

1. A. K. Shiny, Arun K. Pujari
   Computation of Prime Implicants Using Matrix and Paths. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:2, pp:135-145 [Journal]
   
2. Michael Freund
   Preferential Orders and Plausibility Measures. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:2, pp:147-158 [Journal]
   
3. Wilfried Buchholz
   A Note on SLDNF-Resolution. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:2, pp:159-167 [Journal]
   
4. Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin
   Extensions for Open Default Theories via the Domain Closure Assumption. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:2, pp:169-187 [Journal]
   
5. Arnaud Durand, Clemens Lautemann, Thomas Schwentick
   Subclasses of Binary NP. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:2, pp:189-207 [Journal]
   
6. Gopalan Nadathur
   Uniform Provability in Classical Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:2, pp:209-229 [Journal]