Independence of the Induction Principle and the Axiom of Choice in the Pure Calculus of Constructions.
Thomas StreicherPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- proof search
- inference rules
- inductive learning
- computer algebra
- program synthesis
- machine learning
- inductive inference
- oblique decision trees
- data sets
- functional programs
- sequent calculus
- algebraic structure
- linear logic
- constructive induction
- rule induction
- concept learning
- graphical models
- data model
- decision trees