Keyword:Kleene algebra

Publications
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs Anupam Das, Amina Doumane and Damien Pous In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning