Proofs by Structural Induction using Partial Evaluation.

Julia L. Lawall

Published in: PEPM (1993)

Keyphrases

partial evaluation
explanation based generalization
structural information
theorem proving
machine learning
inductive learning
proof search
data sets
expert systems
small number
structured data
temporal logic
theorem prover
domain theory
xpath queries