Relations Between Diagonalization, Proof Systems, and Complexity Gaps.

Juris Hartmanis

Published in: Theor. Comput. Sci. (1979)

Keyphrases

management system
neural network
information retrieval systems
computer systems
data sets
website
video sequences
computational complexity
relational databases
distributed systems
intelligent systems
complex systems
retrieval systems