Journals in DBLP

J. Log. Comput.
1990, volume: 1, number: 1

1. Dov M. Gabbay
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1990, v:1, n:1, pp:1-4 [Journal]
   
2. Samson Abramsky
   Abstract Interpretation, Logical Relations and Kan Extensions. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1990, v:1, n:1, pp:5-40 [Journal]
   
3. Matthew L. Ginsberg
   Bilattices and Modal Operators. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1990, v:1, n:1, pp:41-69 [Journal]
   
4. Michael Kaminski, Michael L. Tiomkin
   Finite and Circular Path Models for Branching Time Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1990, v:1, n:1, pp:71-82 [Journal]
   
5. Melvin Fitting
   Destructive Modal Resolution. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1990, v:1, n:1, pp:83-97 [Journal]
   
6. Patricia M. Hill, John W. Lloyd, John C. Shepherdson
   Properties of a Pruning Operator. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1990, v:1, n:1, pp:99-143 [Journal]