Login / Signup
On the Complexity of Translations from Classical to Intuitionistic Proofs.
Matthias Baaz
Alexander Leitsch
Published in:
FLAP (2017)
Keyphrases
</>
theorem prover
computational complexity
worst case
databases
linear logic
natural deduction
machine learning
decision problems
cut elimination
search algorithm
inference rules
fuzzy numbers
space complexity