Login / Signup
On the complexity of finding narrow proofs
Christoph Berkholz
Published in:
CoRR (2012)
Keyphrases
</>
computational complexity
decision problems
theorem proving
multi agent
databases
search engine
digital libraries
worst case
theorem prover