Journals in DBLP

Inf. Comput.
1990, volume: 87, number: 1/2

1. Yuri Gurevich
   Preface [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:1- [Journal]
   
2. Glynn Winskel
   A Compositional Proof System on a Category of Labelled Transition Systems [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:2-57 [Journal]
   
3. Rance Cleaveland, Matthew Hennessy
   Priorities in Process Algebras [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:58-77 [Journal]
   
4. Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo
   A Logic for Reasoning about Probabilities [Citation Graph (1, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:78-128 [Journal]
   
5. Jean H. Gallier, Paliath Narendran, David A. Plaisted, Wayne Snyder
   Rigid E-Unification: NP-Completeness and Applications to Equational Matings [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:129-195 [Journal]
   
6. Kim B. Bruce, Giuseppe Longo
   A Modest Model of Records, Inheritance and Bounded Quantification [Citation Graph (1, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:196-239 [Journal]
   
7. Kevin J. Compton, Claude Laflamme
   An Algebra and a Logic for NC¹ [Citation Graph (1, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:240-262 [Journal]
   
8. Bard Bloom
   Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:263-300 [Journal]
   
9. Phokion G. Kolaitis, Moshe Y. Vardi
   0-1 Laws and Decision Problems for Fragments of Second-Order Logic [Citation Graph (2, 0)][DBLP]
   Inf. Comput., 1990, v:87, n:1/2, pp:301-337 [Journal]