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