A Note on the Parallel Complexity of Anti-Unification.

Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry

Published in: J. Autom. Reason. (1992)

Keyphrases

anti unification
analogy making
parallel processing
higher order
active learning
parallel implementation
computational complexity
worst case
distributed memory
co occurrence
first order logic
inductive learning
shared memory
parallel computing