A Parallel Completion Procedure for Term Rewriting Systems.

Katherine A. Yelick Stephen J. Garland

Published in: CADE (1992)

Keyphrases

term rewriting systems
logic programs
parallel processing
functional programs
knuth bendix
artificial intelligence
database
propositional logic
parallel implementation
distributed memory