Parallel Term Rewriting with PaReDuX

W. Bibel und P. Schmitt (Editoren)
R. Bündgen, M. Göbel, W. Küchlin und Andreas Weber
In: Systems and Implementation Techniques, pages 231-259, Kluwer Academic Publishers, 1998
 

Bibtex

@INCOLLECTION{BuendgenGoebelKuechlinWeber98a,
     author = {B{\"u}ndgen, R. and G{\"o}bel, M. and K{\"u}chlin, W. and Weber, Andreas},
     editor = {Bibel, W. and Schmitt, P.},
      pages = {231--259},
      title = {Parallel Term Rewriting with PaReDuX},
  booktitle = {Systems and Implementation Techniques},
     series = {Automated Deduction-A Basis for Applications},
     volume = {2},
    chapter = {9},
       year = {1998},
  publisher = {Kluwer Academic Publishers},
       isbn = {0-7923-5130-4}
}