Login / Signup
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction.
Keiko Nakata
Tarmo Uustalu
Marc Bezem
Published in:
APLAS (2011)
Keyphrases
</>
oblique decision trees
proof planning
inductive learning
decision trees
rule induction
constructive induction
data sets
inductive logic programming
concept formation
genetic algorithm
inductive inference
subgroup discovery
program synthesis
tree construction
decision forest
walking robot