Double-exponential Complexity of Computing a Complete Set of AC-Unifiers

Deepak Kapur Paliath Narendran

Published in: LICS (1992)

Keyphrases

double exponential
small number
probability distribution
neural network
information retrieval
real time
hierarchical structure
convex hull