Anupam Das
Researcher in proof theory, logic and complexity
Menu
Home
CV
Research
MiLC
Contact
The complexity of propositional proofs in deep inference
➤
