Parallel Term Rewriting with Paredux
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Recording and Analysing Knowledge-Based Distributed Deduction ProcessesJournal of Symbolic Computation, 1996
- Strategy Compliant Multi-Threaded Term CompletionJournal of Symbolic Computation, 1996
- Distributed symbolic computation with DTSPublished by Springer Nature ,1995
- Parallel ReDuX → PaReDuXLecture Notes in Computer Science, 1995
- Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius ProverJournal of Symbolic Computation, 1995
- Goal oriented equational theorem proving using team workPublished by Springer Nature ,1994
- Distributing equational theorem provingPublished by Springer Nature ,1993
- Reduce the redex → ReDuXPublished by Springer Nature ,1993
- Completion procedures as semidecision proceduresPublished by Springer Nature ,1991
- Heuristical criteria in refutational theorem provingPublished by Springer Nature ,1990