Conference Papers
Year :
Damien Pous : Connect in order to contact the contributor
https://hal.science/hal-01940378
Submitted on : Friday, November 30, 2018-11:23:03 AM
Last modification on : Thursday, May 11, 2023-11:56:10 AM
Dates and versions
Identifiers
- HAL Id : hal-01940378 , version 1
Cite
Anupam Das, Amina Doumane, Damien Pous. Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. LPAR-22, Nov 2018, Awassa, Ethiopia. ⟨hal-01940378⟩
Collections
85
View
0
Download