Inductive Types in the Calculus of Algebraic Constructions.

Frédéric Blanqui

Published in: TLCA (2003)

Keyphrases

computer algebra
algebraic structure
machine learning
real time
data sets
expert systems
knowledge representation
higher order
expressive power
inductive logic programming
inductive learning
inductive concept learning