Computably Enumerable Sets and Quasi-Reducibility.

Rodney G. Downey Geoffrey LaForte André Nies

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

Keyphrases

inductive inference
set theoretic
real time
data structure
support vector
evolutionary algorithm