Proof Complexity of Non-classical Logics.

Olaf Beyersdorff Oliver Kutz

Published in: ESSLLI (2011)

Keyphrases

automated theorem proving
theorem proving
linear logic
computational complexity
artificial neural networks
worst case
np hard
real time
multiscale
three dimensional
image sequences
computational cost
computer vision
theorem prover
genetic algorithm
space complexity
neural network
databases