Information and Computation, Volume 98

Volume 98, Number 1, 1992

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

Volume 98, Number 2, 1992

• John Mitchell: Preface. 141 BibTeX
• 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 BibTeX
• Roy L. Crole, Andrew M. Pitts: New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic. 171-210 BibTeX
• Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs. 211-227 BibTeX
• A. J. Kfoury, Jerzy Tiuryn: Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus. 228-257 BibTeX
• Phokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logics and 0-1 Laws. 258-294 BibTeX