Optimal Time Bounds for Parallel Term Matching. Verma, R. M. & Ramakrishnan, I. V. In Lusk, E. L. & Overbeek, R. A., editors, CADE, volume 310, of Lecture Notes in Computer Science, pages 694-703, 1988. Springer.
Optimal Time Bounds for Parallel Term Matching. [link]Link  Optimal Time Bounds for Parallel Term Matching. [link]Paper  bibtex   
@inproceedings{conf/cade/VermaR88,
  added-at = {2018-11-30T00:00:00.000+0100},
  author = {Verma, Rakesh M. and Ramakrishnan, I. V.},
  biburl = {https://www.bibsonomy.org/bibtex/2ed0ef01ebf3b664f0fbd66008a2d9f95/dblp},
  booktitle = {CADE},
  crossref = {conf/cade/1988},
  editor = {Lusk, Ewing L. and Overbeek, Ross A.},
  ee = {https://doi.org/10.1007/BFb0012867},
  interhash = {48eb7f408ba355f9f7a068c6bb588a03},
  intrahash = {ed0ef01ebf3b664f0fbd66008a2d9f95},
  isbn = {3-540-19343-X},
  keywords = {dblp},
  pages = {694-703},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T18:55:05.000+0200},
  title = {Optimal Time Bounds for Parallel Term Matching.},
  url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#VermaR88},
  volume = 310,
  year = 1988
}

Downloads: 0