Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/Abramsky91,
  author       = {Samson Abramsky},
  title        = {A Domain Equation for Bisimulation},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {2},
  pages        = {161--218},
  year         = {1991},
  url          = {https://doi.org/10.1006/inco.1991.9999},
  doi          = {10.1006/INCO.1991.9999},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Abramsky91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Avron91,
  author       = {Arnon Avron},
  title        = {Simple Consequence Relations},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {1},
  pages        = {105--140},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90023-U},
  doi          = {10.1016/0890-5401(91)90023-U},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Avron91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CardoneC91,
  author       = {Felice Cardone and
                  Mario Coppo},
  title        = {Type Inference with Recursive Types: Syntax and Semantics},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {1},
  pages        = {48--80},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90020-3},
  doi          = {10.1016/0890-5401(91)90020-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CardoneC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ColeV91,
  author       = {Richard Cole and
                  Uzi Vishkin},
  title        = {Approximate Parallel Scheduling. {II.} Applications to Logarithmic-Time
                  Optimal Parallel Graph Algorithms},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {1},
  pages        = {1--47},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90019-X},
  doi          = {10.1016/0890-5401(91)90019-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ColeV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CuntoGMP91,
  author       = {Walter Cunto and
                  Gaston H. Gonnet and
                  J. Ian Munro and
                  Patricio V. Poblete},
  title        = {Fringe Analysis for Extquick: An in Situ Distributive External Sorting
                  Algorithm},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {2},
  pages        = {141--160},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90007-O},
  doi          = {10.1016/0890-5401(91)90007-O},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CuntoGMP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DuLY91,
  author       = {Jianzhong Du and
                  Joseph Y.{-}T. Leung and
                  Gilbert H. Young},
  title        = {Scheduling Chain-Structured Tasks to Minimize Makespan and Mean Flow
                  Time},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {2},
  pages        = {219--236},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90009-Q},
  doi          = {10.1016/0890-5401(91)90009-Q},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DuLY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GeskeHS91,
  author       = {John G. Geske and
                  Dung T. Huynh and
                  Joel I. Seiferas},
  title        = {A Note on Almost-Everywhere-Complex Sets and Separating Deterministic-Time-Complexity
                  Classes},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {1},
  pages        = {97--104},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90022-T},
  doi          = {10.1016/0890-5401(91)90022-T},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GeskeHS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HornickP91,
  author       = {Scot W. Hornick and
                  Franco P. Preparata},
  title        = {Deterministic {P-RAM} Simulation with Constant Redundancy},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {1},
  pages        = {81--96},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90021-S},
  doi          = {10.1016/0890-5401(91)90021-S},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HornickP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KinberZ91,
  author       = {Efim B. Kinber and
                  Thomas Zeugmann},
  title        = {One-Sided Error Probabilistic Inductive Inference and Reliable Frequency
                  Identification},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {2},
  pages        = {253--284},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90011-P},
  doi          = {10.1016/0890-5401(91)90011-P},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KinberZ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Venkateswaran91,
  author       = {H. Venkateswaran},
  title        = {Two Dynamic Programming Algorithms for Which Intepreted Pebbling Helps},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {2},
  pages        = {237--252},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90010-Y},
  doi          = {10.1016/0890-5401(91)90010-Y},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Venkateswaran91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}