Definable encodings in the computably enumerable sets.

Peter Cholak Leo Harrington

Published in: Bull. Symb. Log. (2000)

Keyphrases

state space
evolutionary algorithm
inductive inference
database
multiscale
set theoretic