A Problem in the Theory of Constructive Order Types.

Robin O. Gandy Robert I. Soare

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

Keyphrases

database
management system
real world
real time
information systems
knowledge base
multiscale
learning environment
image retrieval
trade off