Linearizing Term Rewriting Systems Using Test Sets.

Dieter Hofbauer Maria Huber

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

Keyphrases

test set
term rewriting systems
error rate
functional programs
logic programs
training set
test data
training data
database
test cases
training and test sets
logic programming
machine learning
feature space
query language
bayesian networks
data sets