A Parallel Completion Procedure for Term Rewriting Systems

Authors:
Katherine A. Yelick;Stephen J. Garland
Affiliations:
-;-
Venue:
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Year:
1992

Implementing an irregular application on a distributed memory multiprocessor

PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
A fine-grained parallel completion procedure

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A taxonomy of parallel strategies for deduction

Annals of Mathematics and Artificial Intelligence
The Clause-Diffusion Methodology For Distributed Deduction

Fundamenta Informaticae

Hi-index	0.00