Login / Signup
From positive and intuitionistic bounded arithmetic to monotone proof complexity.
Anupam Das
Published in:
LICS (2016)
Keyphrases
</>
linear logic
theorem prover
positive and negative
worst case
space complexity
natural deduction
computational complexity
theorem proving
data sets
decision trees
knowledge representation
bit rate
decision rules
decision problems
fuzzy numbers
cut elimination