Datatype-Generic Termination Proofs.

Roland Carl Backhouse Henk Doornbos

Published in: Theory Comput. Syst. (2008)

Keyphrases

theorem proving
multimedia
term rewriting
theorem prover
special case
metadata
computer vision
e learning
feature selection
real time
decision trees
database systems
domain specific
search engine
databases
generic model
data sets