Proof Complexity of the Cut-free Calculus of Structures.

Published in: J. Log. Comput. (2009)

Keyphrases

automated theorem proving
neural network
machine learning
worst case
decision problems
natural deduction
real world
data mining
computational cost
space complexity
complexity analysis
proof procedure
provably correct