Parallel ReDuX → PaReDuX
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 408-413
- https://doi.org/10.1007/3-540-59200-8_74
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The design of the SACLIB/PACLIB kernelsPublished by Springer Nature ,2005
- Experiments with Virtual C ThreadsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A fine-grained parallel completion procedurePublished by Association for Computing Machinery (ACM) ,1994
- Distributing equational theorem provingPublished by Springer Nature ,1993
- Reduce the redex → ReDuXPublished by Springer Nature ,1993
- The portable common runtime approach to interoperabilityPublished by Association for Computing Machinery (ACM) ,1989
- Fast Knuth-Bendix completion: SummaryLecture Notes in Computer Science, 1989