Anupam Das
Researcher in proof theory, logic and complexity
Menu
Home
CV
Research
MiLC
Contact
A cut-free cyclic proof system for Kleene Algebra
➤
