Login / Signup
A Note on the Complexity of Classical and Intuitionistic Proofs.
Matthias Baaz
Alexander Leitsch
Giselle Reis
Published in:
LICS (2015)
Keyphrases
</>
theorem prover
worst case
decision problems
natural deduction
computational complexity
computational cost
fuzzy set theory
logic programming
database
real time
information systems
model checking
real valued
theorem proving
formal proof