Anupam Das
Researcher in proof theory, logic and complexity
Menu
Home
CV
Research
MiLC
Contact
Characterising aspects of proof compression
➤
