Reflection and forcing in E-recursion theory.

Theodore A. Slaman

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

Keyphrases

theoretical basis
data sets
databases
computer science
evolutionary algorithm
special case
complex objects
general theory
information systems
three dimensional
wide range
conceptual framework