The Complexity of Weak Unification of Bounded Simple Set Terms.

Sergio Greco Cristinel Mateis Eugenio Spadafora

Published in: DEXA (1996)

Keyphrases

small number
lower bound
precisely defined
data mining
genetic algorithm
computational cost
co occurrence
user defined