Login / Signup
Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem.
Yijia Chen
Moritz 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