A Constructive Proof of Open Induction Using Delimited Control Operators

Danko Ilik Keiko Nakata

Published in: CoRR (2012)

Keyphrases

control system
control structures
proof planning
machine learning
theorem proving
database
data sets
databases
social networks
website
fuzzy logic
control strategy
concept learning
control theory
proof search