Corrigendum to "Diagonalization and the Recursion Theorem".

James C. Owings

Published in: Notre Dame J. Formal Log. (1989)

Keyphrases

complex objects
real time
deductive databases
data sets
information retrieval
multi agent
multiresolution
database
knowledge base
high level
database systems
multiscale
computational complexity
expressive power
blind source separation