Sign in
Some applications of computable one-one numberings.
Martin Kummer
Published in:
Arch. Math. Log. (1990)
Keyphrases
</>
recursively enumerable
inductive inference
data sets
hypothesis space
recursive functions
finite sets
knowledge base
objective function
data structure
upper bound
turing machine