A Characterisation of Multiply Recursive Functions with Higman's Lemma.

Hélène Touzet

Published in: Inf. Comput. (2002)

Keyphrases

recursive functions
inductive inference
johnson lindenstrauss
floating point
domain knowledge
supervised learning
theoretical analysis
pattern languages