Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AmericaB90,
  author       = {Pierre America and
                  Frank S. de Boer},
  title        = {Proving Total Correctness of Recursive Procedures},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {2},
  pages        = {129--162},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90037-I},
  doi          = {10.1016/0890-5401(90)90037-I},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AmericaB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Cai90,
  author       = {Jin{-}yi Cai},
  title        = {A Note on the Determinant and Permanent Problem},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {1},
  pages        = {119--127},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90036-H},
  doi          = {10.1016/0890-5401(90)90036-H},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Cai90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EngelfrietR90,
  author       = {Joost Engelfriet and
                  Grzegorz Rozenberg},
  title        = {A Comparison of Boundary Graph Grammars and Context-Free Hypergraph
                  Grammars},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {2},
  pages        = {163--206},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90038-J},
  doi          = {10.1016/0890-5401(90)90038-J},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EngelfrietR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GeorgakopoulosK90,
  author       = {George K. Georgakopoulos and
                  Dimitris J. Kavvadias},
  title        = {The Banker's Problem with Precedences},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {1},
  pages        = {1--12},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90030-L},
  doi          = {10.1016/0890-5401(90)90030-L},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GeorgakopoulosK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Hagerup90,
  author       = {Torben Hagerup},
  title        = {Optimal Parallel Algorithms on Planar Graphs},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {1},
  pages        = {71--96},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90034-F},
  doi          = {10.1016/0890-5401(90)90034-F},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Hagerup90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Khuller90,
  author       = {Samir Khuller},
  title        = {Extending Planar Graph Algorithms to K{\_}3,3-Free Graphs},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {1},
  pages        = {13--25},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90031-C},
  doi          = {10.1016/0890-5401(90)90031-C},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Khuller90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LazrekLT90,
  author       = {Azeddine Lazrek and
                  Pierre Lescanne and
                  Jean{-}Jacques Thiel},
  title        = {Tools for Proving Inductive Equalities, Relative Completeness, and
                  omega-Completeness},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {1},
  pages        = {47--70},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90033-E},
  doi          = {10.1016/0890-5401(90)90033-E},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LazrekLT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Sakata90,
  author       = {Shojiro Sakata},
  title        = {Extension of the Berlekamp-Massey Algorithm to {N} Dimensions},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {2},
  pages        = {207--239},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90039-K},
  doi          = {10.1016/0890-5401(90)90039-K},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Sakata90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Spreen90,
  author       = {Dieter Spreen},
  title        = {Computable One-to-One Enumerations of Effective Domains},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {1},
  pages        = {26--46},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90032-D},
  doi          = {10.1016/0890-5401(90)90032-D},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Spreen90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/YungALS90,
  author       = {Yehuda Afek and
                  Gad M. Landau and
                  Baruch Schieber and
                  Moti Yung},
  title        = {The Power of Multimedia: Combining Point-to-Point and Multiaccess
                  Networks},
  journal      = {Inf. Comput.},
  volume       = {84},
  number       = {1},
  pages        = {97--118},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90035-G},
  doi          = {10.1016/0890-5401(90)90035-G},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/YungALS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}