Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/Bakker91,
  author       = {J. W. de Bakker},
  title        = {Comparative Semantics for Flow of Control in Logic Programming without
                  Logic},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {2},
  pages        = {123--179},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90036-2},
  doi          = {10.1016/0890-5401(91)90036-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Bakker91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Berardi91,
  author       = {Stefano Berardi},
  title        = {Retractions on dI-domains as a model for Type:Type},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {2},
  pages        = {204--231},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90038-4},
  doi          = {10.1016/0890-5401(91)90038-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Berardi91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BhattDHPRS91,
  author       = {P. C. P. Bhatt and
                  Krzysztof Diks and
                  Torben Hagerup and
                  V. C. Prasad and
                  Tomasz Radzik and
                  Sanjeev Saxena},
  title        = {Improved Deterministic Parallel Integer Sorting},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {1},
  pages        = {29--47},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90031-V},
  doi          = {10.1016/0890-5401(91)90031-V},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BhattDHPRS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Droste91,
  author       = {Manfred Droste},
  title        = {Universal Homogeneous Event Structures and Domains},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {1},
  pages        = {48--61},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90032-W},
  doi          = {10.1016/0890-5401(91)90032-W},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Droste91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Gradel91,
  author       = {Erich Gr{\"{a}}del},
  title        = {Simple Sentences That Are Hard to Decide},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {1},
  pages        = {62--82},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90033-X},
  doi          = {10.1016/0890-5401(91)90033-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Gradel91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LarsenS91,
  author       = {Kim Guldstrand Larsen and
                  Arne Skou},
  title        = {Bisimulation through Probabilistic Testing},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {1},
  pages        = {1--28},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90030-6},
  doi          = {10.1016/0890-5401(91)90030-6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/LarsenS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LubiwR91,
  author       = {Anna Lubiw and
                  Andr{\'{a}}s R{\'{a}}cz},
  title        = {A Lower Bound for the Integer Element Distinctness Problem},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {1},
  pages        = {83--92},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90034-Y},
  doi          = {10.1016/0890-5401(91)90034-Y},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LubiwR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/TiomkinM91,
  author       = {Michael L. Tiomkin and
                  Johann A. Makowsky},
  title        = {Decidability of Finite Probablistic Propositional Dynamic Logics},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {2},
  pages        = {180--203},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90037-3},
  doi          = {10.1016/0890-5401(91)90037-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/TiomkinM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/WaackK91,
  author       = {Stephan Waack and
                  Matthias Krause},
  title        = {On Oblivious Branching Programs of Linear Length},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {2},
  pages        = {232--249},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90039-5},
  doi          = {10.1016/0890-5401(91)90039-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/WaackK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Wanke91,
  author       = {Egon Wanke},
  title        = {Algorithms for Graph Problems on {BNLC} Structured Graphs},
  journal      = {Inf. Comput.},
  volume       = {94},
  number       = {1},
  pages        = {93--122},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90035-Z},
  doi          = {10.1016/0890-5401(91)90035-Z},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Wanke91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}