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