A Recursion Theoretic Analysis of the Clopen Ramsey Theorem.

Published in: J. Symb. Log. (1984)

Keyphrases

theoretic analysis
set theoretic
complex objects
von neumann
expert systems
machine learning
tree automata
real time
data sets
temporal logic
deductive databases
intuitionistic logic