Information and Computation, Volume 98

Volume 98, Number 1, 1992

• Kenneth W. Regan: Diagonalization, Uniformity, and Fixed-Point Theorems. 1-40
• David Eppstein: Parallel Recognition of Series-Parallel Graphs. 41-55
• Panayota Papantoni-Kazakos, Dimitri Kazakos: Predictive Analog-to-Digital Conversion for Resistance to Data Outliers. 56-98
• Prakash Panangaden, Vasant Shanbhogue: The Expressive Power of Indeterminate Dataflow Primitives. 99-131
• James A. Wiseman: New Binary Codes from a Generalization of Zinoviev's Technique. 132-139

Volume 98, Number 2, 1992

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