Bar recursion over finite partial functions.

Paulo Oliva Thomas Powell

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

data sets
database
machine learning
complex objects
databases
neural network
deductive databases
finite number
finite automata
real valued functions
unit length