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

last updated on Wed May 22 05:39:03 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page