Term rewriting for normalization by evaluation.

Ulrich Berger Matthias Eberl Helmut Schwichtenberg

Published in: Inf. Comput. (2003)

Keyphrases

term rewriting
evaluation method
neural network
theorem proving
evaluation criteria
databases
artificial intelligence
theorem prover
data sets
database systems
software engineering
language learning
evaluation model