A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators.

Danko Ilik Keiko Nakata

Published in: TYPES (2013)

Keyphrases

proof planning
low dimensional
search space
control system
space time
program synthesis
concept formation
theorem proving
inductive learning
information retrieval
database
decision trees
higher dimensional
control theory
genetic algorithm
proof search
machine learning