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 metadatas

https://hal.archives-ouvertes.fr/hal-01940378
Contributor : Damien Pous <>
Submitted on : Friday, November 30, 2018 - 11:23:03 AM
Last modification on : Wednesday, November 20, 2019 - 2:43:01 AM

Identifiers

  • HAL Id : hal-01940378, version 1

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

104