Computability Theory in Admissible Domains

Edward Sciore A. Tang

Published in: STOC (1978)

Keyphrases

real world
theoretical framework
real time
information retrieval
relational databases
state space
computational model
database
information systems
multimedia
active learning
mobile robot
conceptual framework