Anupam Das
Researcher in proof theory, logic and complexity
Menu
Home
CV
Research
MiLC
Contact
Rewriting with linear inferences in propositional logic
Read more
Complexity of deep inference via atomic flows
Read more
Proof complexity of cut-free bounded deep inference
Read more
Posts navigation
« Prev
1
2
3
➤