Communication Dans Un Congrès
Année : 2018
Damien Pous : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01940378
Soumis le : vendredi 30 novembre 2018-11:23:03
Dernière modification le : jeudi 11 janvier 2024-11:18:04
Dates et versions
Identifiants
- HAL Id : hal-01940378 , version 1
Citer
Anupam Das, Amina Doumane, Damien Pous. Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. LPAR-22, Nov 2018, Awassa, Ethiopia. ⟨hal-01940378⟩
Collections
99
Consultations
0
Téléchargements