A parallel unification machine.

Fadi N. Sibai Karan L. Watson Mi Lu

Published in: IEEE Micro (1990)

Keyphrases

higher order
parallel processing
parallel implementation
theorem proving
shared memory
data sets
parallel programming
parallel computing
parallel machines
identical machines
database
parallel computation
massively parallel
flowshop
multiscale
artificial intelligence
real time