%0 Conference Paper %1 conf/lpar/0002DP18 %A Das, Anupam %A Doumane, Amina %A Pous, Damien %B LPAR %D 2018 %E Barthe, Gilles %E Sutcliffe, Geoff %E Veanes, Margus %I EasyChair %K dblp %P 271-289 %T Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2018.html#0002DP18 %V 57

@inproceedings{conf/lpar/0002DP18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Das, Anupam and Doumane, Amina and Pous, Damien}, biburl = {https://www.bibsonomy.org/bibtex/26cd8110ffb298e2de833d86cb2e03eb7/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2018}, editor = {Barthe, Gilles and Sutcliffe, Geoff and Veanes, Margus}, ee = {https://doi.org/10.29007/hzq3}, interhash = {c9e4e6b9e7be4ebd8214333b90f67c5e}, intrahash = {6cd8110ffb298e2de833d86cb2e03eb7}, keywords = {dblp}, pages = {271-289}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:17.000+0200}, title = {Left-Handed Completeness for Kleene algebra, via Cyclic Proofs.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2018.html#0002DP18}, volume = 57, year = 2018 }