Completion of a Set of Rules Modulo a Set of Equations.

Jean-Pierre Jouannaud Hélène Kirchner

Published in: POPL (1984)

Keyphrases

data sets
web services
decision trees
small number
initial set
information retrieval
artificial intelligence
probability distribution
finite number