A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor.

Reinhard Bündgen Manfred Göbel Wolfgang Küchlin

Published in: DISCO (1996)

Keyphrases

master slave
term rewriting
theorem proving
theorem prover
operational semantics
laparoscopic surgery
rewrite systems
multiprocessor systems
database machines
knuth bendix
scheduling algorithm
single processor
knowledge base
inference rules
distributed memory