Equational Problems and Disunification.

Hubert Comon Pierre Lescanne

Published in: J. Symb. Comput. (1989)

Keyphrases

horn clauses
np complete
real world
machine learning
programming language
problems involving
decision trees
multi class
application domains
decision problems
solving problems
related problems