A master-slave approach to parallel term rewriting on a hierarchical multiprocessor
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 183-194
- https://doi.org/10.1007/3-540-61697-7_17
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Strategy-Accurate Parallel Buchberger AlgorithmsJournal of Symbolic Computation, 1996
- Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius ProverJournal of Symbolic Computation, 1995
- Parallel Symbolic Computation PASCO '94Published by World Scientific Pub Co Pte Ltd ,1994
- The TPTP problem libraryPublished by Springer Nature ,1994
- Parallelization of deduction strategies: An analytical studyJournal of Automated Reasoning, 1994
- Experiments with Roo, a parallel automated deduction systemPublished by Springer Nature ,1992
- Computer Algebra and ParallelismPublished by Springer Nature ,1992
- PVM: A framework for parallel distributed computingConcurrency: Practice and Experience, 1990
- On word problems in equational theoriesPublished by Springer Nature ,1987
- Computer AlgebraPublished by Springer Nature ,1982