Login / Signup
CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.
Gilles Barthe
Benjamin Grégoire
Fernando Pastawski
Published in:
LPAR (2006)
Keyphrases
</>
type checking
term rewriting
machine learning
inductive learning
relational calculus
database query languages
data types
artificial intelligence
query language
expressive power
inductive inference
query processor
inductive reasoning
recursive programs