Login / Signup
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.
Osamu Takaki
Published in:
Notre Dame J. Formal Log. (1997)
Keyphrases
</>
real world
complex objects
normalization method
inductive logic programming
data mining
computer vision
inductive learning
subgroup discovery
von neumann
machine learning
multiscale
social networks
concept learning
explanation based learning
concept formation
constructive induction
program synthesis