Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions.

Deepak Kapur Nikita A. Sakhanenko

Published in: TPHOLs (2003)

Keyphrases

desirable properties
power law
data sets
case study
automatically generate
real world
machine learning
decision trees
database systems
expert systems
theorem proving