Generalizations of the Recursion Theorem.

Sebastiaan A. Terwijn

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

Keyphrases

deductive databases
complex objects
transitive closure
von neumann
artificial intelligence
real time
data mining
information retrieval
knowledge base
database systems
natural language
rough approximations