Journals in DBLP

Inf. Comput.
1992, volume: 98, number: 2

1. John Mitchell
   Preface [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1992, v:98, n:2, pp:141- [Journal]
   
2. Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang
   Symbolic Model Checking: 10^20 States and Beyond [Citation Graph (1, 0)][DBLP]
   Inf. Comput., 1992, v:98, n:2, pp:142-170 [Journal]
   
3. Roy L. Crole, Andrew M. Pitts
   New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1992, v:98, n:2, pp:171-210 [Journal]
   
4. Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
   Extensional PERs [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1992, v:98, n:2, pp:211-227 [Journal]
   
5. A. J. Kfoury, Jerzy Tiuryn
   Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1992, v:98, n:2, pp:228-257 [Journal]
   
6. Phokion G. Kolaitis, Moshe Y. Vardi
   Infinitary Logics and 0-1 Laws [Citation Graph (5, 0)][DBLP]
   Inf. Comput., 1992, v:98, n:2, pp:258-294 [Journal]