BelmeskHJ90'

BibTeX

@inproceedings{DBLP:conf/dagstuhl/BelmeskHJ90,
  author    = {Mounira Belmesk and
               Zineb Habbas and
               Philippe Jorrand},
  title     = {A Process Algebra over the Herbrand Universe: Application
               to Parallelism in Automated Deduction},
  booktitle = {Dagstuhl Seminar on Parallelization in Inference Systems},
  year      = {1990},
  pages     = {163-181},
  crossref  = {DBLP:conf/dagstuhl/1990pis},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dagstuhl/1990pis,
  editor    = {Bertram Fronh{\"o}fer and
               Graham Wrightson},
  title     = {Parallelization in Inference Systems, International Workshop,
               Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings},
  booktitle = {Dagstuhl Seminar on Parallelization in Inference Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {590},
  year      = {1992},
  isbn      = {3-540-55425-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}