Skip to Main content Skip to Navigation
Conference papers

Left-Handed Completeness for Kleene algebra, via Cyclic Proofs

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01940378
Contributor : Damien Pous Connect in order to contact the contributor
Submitted on : Friday, November 30, 2018 - 11:23:03 AM
Last modification on : Saturday, September 11, 2021 - 3:19:01 AM

Identifiers

  • HAL Id : hal-01940378, version 1

Collections

Citation

Anupam Das, Amina Doumane, Damien Pous. Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. LPAR-22, Nov 2018, Awassa, Ethiopia. ⟨hal-01940378⟩

Share

Metrics

Record views

67