Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/Friedman84,
  author       = {Harvey Friedman},
  title        = {On the Spectra of Universal Relational Sentences},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {2/3},
  pages        = {205--209},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80034-0},
  doi          = {10.1016/S0019-9958(84)80034-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Friedman84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GianniniL84,
  author       = {Paola Giannini and
                  Giuseppe Longo},
  title        = {Effectively Given Domains and Lambda-Calculus Models},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {1},
  pages        = {36--63},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80009-1},
  doi          = {10.1016/S0019-9958(84)80009-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GianniniL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Hong84,
  author       = {Jia{-}Wei Hong},
  title        = {On Similarity and Duality of Computation {(I)}},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {2/3},
  pages        = {109--128},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80030-3},
  doi          = {10.1016/S0019-9958(84)80030-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Hong84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ItzhaikY84,
  author       = {Yair Itzhaik and
                  Amiram Yehudai},
  title        = {An Intermediate Machine Technique for Deciding Equivalence between
                  a {DPDA} and a Linear {DPDA}},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {1},
  pages        = {26--35},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80008-X},
  doi          = {10.1016/S0019-9958(84)80008-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ItzhaikY84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Krichevsky84,
  author       = {R. E. Krichevsky},
  title        = {Optimal Hashing},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {1},
  pages        = {64--92},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80010-8},
  doi          = {10.1016/S0019-9958(84)80010-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Krichevsky84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LadnerSL84,
  author       = {Richard E. Ladner and
                  Larry J. Stockmeyer and
                  Richard J. Lipton},
  title        = {Alternation Bounded Auxiliary Pushdown Automata},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {2/3},
  pages        = {93--108},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80029-7},
  doi          = {10.1016/S0019-9958(84)80029-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LadnerSL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LundeliusL84,
  author       = {Jennifer Lundelius and
                  Nancy A. Lynch},
  title        = {An Upper and Lower Bound for Clock Synchronization},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {2/3},
  pages        = {190--204},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80033-9},
  doi          = {10.1016/S0019-9958(84)80033-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LundeliusL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MainB84,
  author       = {Michael G. Main and
                  David B. Benson},
  title        = {Functional Behvior of Nondeterministic and Concurrent Programs},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {2/3},
  pages        = {144--189},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80032-7},
  doi          = {10.1016/S0019-9958(84)80032-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MainB84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MunroP84,
  author       = {J. Ian Munro and
                  Patricio V. Poblete},
  title        = {Fault Tolerance and Storage Reduction in Binary Search Trees},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {2/3},
  pages        = {210--218},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80035-2},
  doi          = {10.1016/S0019-9958(84)80035-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MunroP84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Wegener84,
  author       = {Ingo Wegener},
  title        = {Optimal Decision Trees and One-Time-Only Branching Programs for Symmetric
                  Boolean Functions},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {2/3},
  pages        = {129--143},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80031-5},
  doi          = {10.1016/S0019-9958(84)80031-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Wegener84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/WijshoffL84,
  author       = {Harry A. G. Wijshoff and
                  Jan van Leeuwen},
  title        = {Arbitrary versus Periodic Storage Schemes and Tessellations of the
                  Plane Using One Type of Polyomino},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {1},
  pages        = {1--25},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80007-8},
  doi          = {10.1016/S0019-9958(84)80007-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/WijshoffL84.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.