Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AmirCHLP03,
  author       = {Amihood Amir and
                  Richard Cole and
                  Ramesh Hariharan and
                  Moshe Lewenstein and
                  Ely Porat},
  title        = {Overlap matching},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {1},
  pages        = {57--74},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(02)00035-4},
  doi          = {10.1016/S0890-5401(02)00035-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AmirCHLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DongLW03,
  author       = {Guozhu Dong and
                  Leonid Libkin and
                  Limsoon Wong},
  title        = {Incremental recomputation in local languages},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {2},
  pages        = {88--98},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00017-8},
  doi          = {10.1016/S0890-5401(03)00017-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DongLW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FinkelIS03,
  author       = {Alain Finkel and
                  S. Purushothaman Iyer and
                  Gr{\'{e}}goire Sutre},
  title        = {Well-abstracted transition systems: application to {FIFO} automata},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {1},
  pages        = {1--31},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(02)00027-5},
  doi          = {10.1016/S0890-5401(02)00027-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FinkelIS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HertlingW03,
  author       = {Peter Hertling and
                  Klaus Weihrauch},
  title        = {Random elements in effective topological spaces with measure},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {1},
  pages        = {32--56},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(02)00034-2},
  doi          = {10.1016/S0890-5401(02)00034-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HertlingW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Peltier03,
  author       = {Nicolas Peltier},
  title        = {Extracting models from clause sets saturated under semantic refinements
                  of the resolution rule},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {2},
  pages        = {99--130},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00016-6},
  doi          = {10.1016/S0890-5401(03)00016-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Peltier03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Sibeyn03,
  author       = {Jop F. Sibeyn},
  title        = {List-ranking on interconnection networks},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {2},
  pages        = {75--87},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(02)00029-9},
  doi          = {10.1016/S0890-5401(02)00029-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Sibeyn03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}