Remarks on Recursion versus Diagonalization and Exponentially Difficult Problems.

Michael Machtey Paul Young

Published in: J. Comput. Syst. Sci. (1981)

Keyphrases

difficult problems
deductive databases
blind source separation
complex objects
blind separation
data sets
neural network
artificial intelligence
logic programming
query answering
transitive closure