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 : Tuesday, April 16, 2019 - 3:29:13 PM

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

35