Uncurrying for Termination.

Nao Hirokawa Aart Middeldorp Harald Zankl

Published in: LPAR (2008)

Keyphrases

rewrite systems
data sets
term rewriting
databases
neural network
search engine
information systems
knowledge discovery