Bar recursion over finite partial functions.

Paulo Oliva Thomas Powell

Published in: CoRR (2014)

Keyphrases

data sets
databases
feature selection
decision trees
case study
basis functions
complex objects
continuous functions
artificial intelligence
knowledge base
deductive databases
finite automata
recursive functions