A Parallel Algorithm for the Monadic Unification Problem.

Ivan E. Auger Mukkai S. Krishnamoorthy

Published in: BIT (1985)

Keyphrases

parallel algorithm
deductive databases
datalog queries
parallel computation
shared memory
datalog programs
parallel programming
binary search trees
message passing interface
medial axis transform
parallel version
general purpose