Login / Signup
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi.
Uwe Egly
Published in:
TABLEAUX (1997)
Keyphrases
</>
sequent calculi
real time
theorem prover
database
maximum number
fixed length
classical methods
data sets
neural network
real world
multiscale
expert systems
theorem proving
search problems
linear logic