Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/BloomET93,
  author       = {Stephen L. Bloom and
                  Zolt{\'{a}}n {\'{E}}sik and
                  Dirk Taubner},
  title        = {Iteration Theories of Synchronization Trees},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {1},
  pages        = {1--55},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1001},
  doi          = {10.1006/INCO.1993.1001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BloomET93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BuntrockHS93,
  author       = {Gerhard Buntrock and
                  Lane A. Hemachandra and
                  Dirk Siefkes},
  title        = {Using Inductive Counting to Simulate Nondeterministic Computation},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {1},
  pages        = {102--117},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1004},
  doi          = {10.1006/INCO.1993.1004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BuntrockHS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DietzfelbingerH93,
  author       = {Martin Dietzfelbinger and
                  Friedhelm Meyer auf der Heide},
  title        = {An Optimal Parallel Dictionary},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {2},
  pages        = {196--217},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1007},
  doi          = {10.1006/INCO.1993.1007},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DietzfelbingerH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FleischerSU93,
  author       = {Rudolf Fleischer and
                  Bhabani P. Sinha and
                  Christian Uhrig},
  title        = {A Lower Bound for the Worst Case of Bottom-Up-Heapsort},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {2},
  pages        = {263--279},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1009},
  doi          = {10.1006/INCO.1993.1009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FleischerSU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GrahamHLS93,
  author       = {Niall Graham and
                  Frank Harary and
                  Marilynn Livingston and
                  Quentin F. Stout},
  title        = {Subcube Fault-Tolerance in Hypercubes},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {2},
  pages        = {280--314},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1010},
  doi          = {10.1006/INCO.1993.1010},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GrahamHLS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JainS93,
  author       = {Sanjay Jain and
                  Arun Sharma},
  title        = {Learning with the Knowledge of an Upper Bound on Program Size},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {1},
  pages        = {118--166},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1005},
  doi          = {10.1006/INCO.1993.1005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JainS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KaufmannK93,
  author       = {Michael Kaufmann and
                  Gerhard Kl{\"{a}}r},
  title        = {Routing in Polygons without Rectilinear Visible Corners},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {2},
  pages        = {218--262},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1008},
  doi          = {10.1006/INCO.1993.1008},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KaufmannK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KfouryTU93,
  author       = {A. J. Kfoury and
                  Jerzy Tiuryn and
                  Pawel Urzyczyn},
  title        = {The Undecidability of the Semi-unification Problem},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {1},
  pages        = {83--101},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1003},
  doi          = {10.1006/INCO.1993.1003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KfouryTU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ShadeN93,
  author       = {Eric Shade and
                  K. T. Narayana},
  title        = {Real-Time Semantics for Shared-Variable Concurrency},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {1},
  pages        = {56--82},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1002},
  doi          = {10.1006/INCO.1993.1002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ShadeN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/SistlaZ93,
  author       = {A. Prasad Sistla and
                  Lenore D. Zuck},
  title        = {Reasoning in a Restricted Temporal Logic},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {2},
  pages        = {167--195},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1006},
  doi          = {10.1006/INCO.1993.1006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/SistlaZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}