Login / Signup

Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem.

Yijia ChenMoritz Müller
Published in: MFCS (1) (2014)
Keyphrases
  • intuitionistic logic
  • search space
  • databases
  • search engine
  • lower bound
  • neural network
  • worst case
  • logic programming
  • modal logic
  • automated reasoning
  • classical logic
  • linear space
  • epistemic logic