This page shows all presentations of this author published in EasyChair Smart Slide.
Completeness of Left Handed Kleene algebra via Cyclic Proofs
Anupam Das, Amina Doumane and Damien Pous