Journals in DBLP

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

1. Dov M. Gabbay
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:1, pp:3- [Journal]
   
2. Robert Harper, Frank Pfenning
   A Module System for a Programming Language Based on the LF Logical Framework. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:1, pp:5-31 [Journal]
   
3. Melvin Fitting
   leanTAP Revisited. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:1, pp:33-47 [Journal]
   
4. Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner
   Constructive Z. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:1, pp:49-70 [Journal]
   
5. Lauri Hella, Henrik Imhof
   Enhancing Fixed Point Logic with Cardinality Quantifiers. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:1, pp:71-86 [Journal]
   
6. Gösta Grahne
   Updates and Counterfactuals. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:1, pp:87-117 [Journal]
   
7. David Gries, Fred B. Schneider
   Adding the Everywhere Operator to Propositional Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:1, pp:119-129 [Journal]