Login / Signup
Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version)
Juris Hartmanis
Published in:
STOC (1977)
Keyphrases
</>
preliminary version
databases
expert systems
distributed systems
semantic relations
case study
mobile robot
management system
worst case
knowledge based systems
np complete
decision problems
space complexity