
Journals in DBLP
Inf. Comput. 1992, volume: 98, number: 2
 John Mitchell
Preface [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:98, n:2, pp:141 [Journal]
 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:142170 [Journal]
 Roy L. Crole, Andrew M. Pitts
New Foundations for Fixpoint Computations: FIXHyperdoctrines and the FIXLogic [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:98, n:2, pp:171210 [Journal]
 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:211227 [Journal]
 A. J. Kfoury, Jerzy Tiuryn
Type Reconstruction in Finite Rank Fragments of the SecondOrder lambdaCalculus [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:98, n:2, pp:228257 [Journal]
 Phokion G. Kolaitis, Moshe Y. Vardi
Infinitary Logics and 01 Laws [Citation Graph (5, 0)][DBLP] Inf. Comput., 1992, v:98, n:2, pp:258294 [Journal]
