Search dblp for Publications

export results for "toc:db/journals/iandc/iandc98.bht:"

 download as .bib file

@article{DBLP:journals/iandc/BurchCMDH92,
  author       = {Jerry R. Burch and
                  Edmund M. Clarke and
                  Kenneth L. McMillan and
                  David L. Dill and
                  L. J. Hwang},
  title        = {Symbolic Model Checking: 1020 States and Beyond},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {2},
  pages        = {142--170},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90017-A},
  doi          = {10.1016/0890-5401(92)90017-A},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BurchCMDH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CroleP92,
  author       = {Roy L. Crole and
                  Andrew M. Pitts},
  title        = {New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and
                  the FIX-Logic},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {2},
  pages        = {171--210},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90018-B},
  doi          = {10.1016/0890-5401(92)90018-B},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CroleP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Eppstein92,
  author       = {David Eppstein},
  title        = {Parallel Recognition of Series-Parallel Graphs},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {1},
  pages        = {41--55},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90041-D},
  doi          = {10.1016/0890-5401(92)90041-D},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Eppstein92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FreydMRS92,
  author       = {Peter J. Freyd and
                  P. Mulry and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Extensional PERs},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {2},
  pages        = {211--227},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90019-C},
  doi          = {10.1016/0890-5401(92)90019-C},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FreydMRS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Kazakos92,
  author       = {P. Papantoni{-}Kazakos and
                  Dimitri Kazakos and
                  Kailash Birmiwal},
  title        = {Predictive Analog-to-Digital Conversion for Resistance to Data Outliers},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {1},
  pages        = {56--98},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90042-E},
  doi          = {10.1016/0890-5401(92)90042-E},
  timestamp    = {Fri, 16 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Kazakos92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KfouryT92,
  author       = {A. J. Kfoury and
                  Jerzy Tiuryn},
  title        = {Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {2},
  pages        = {228--257},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90020-G},
  doi          = {10.1016/0890-5401(92)90020-G},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KfouryT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KolaitisV92,
  author       = {Phokion G. Kolaitis and
                  Moshe Y. Vardi},
  title        = {Infinitary Logics and 0-1 Laws},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {2},
  pages        = {258--294},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90021-7},
  doi          = {10.1016/0890-5401(92)90021-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KolaitisV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Mitchell92,
  author       = {John Mitchell},
  title        = {Preface},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {2},
  pages        = {141},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90016-9},
  doi          = {10.1016/0890-5401(92)90016-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Mitchell92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/PanangadenS92,
  author       = {Prakash Panangaden and
                  Vasant Shanbhogue},
  title        = {The Expressive Power of Indeterminate Dataflow Primitives},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {1},
  pages        = {99--131},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90043-F},
  doi          = {10.1016/0890-5401(92)90043-F},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/PanangadenS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Regan92,
  author       = {Kenneth W. Regan},
  title        = {Diagonalization, Uniformity, and Fixed-Point Theorems},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {1},
  pages        = {1--40},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90040-M},
  doi          = {10.1016/0890-5401(92)90040-M},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Regan92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Wiseman92,
  author       = {James A. Wiseman},
  title        = {New Binary Codes from a Generalization of Zinoviev's Technique},
  journal      = {Inf. Comput.},
  volume       = {98},
  number       = {1},
  pages        = {132--139},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90044-G},
  doi          = {10.1016/0890-5401(92)90044-G},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Wiseman92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.