default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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 - P. Papantoni-Kazakos, Dimitri Kazakos, Kailash Birmiwal:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 10:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
