A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages.

Jim A. Crammond

Published in: IEEE Trans. Computers (1985)

Keyphrases

parallel execution
data structure
image processing algorithms
parallel architectures
parallel computing
databases
efficient implementation