Communication Dans Un Congrès
Année : 2019
Damien Pous : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02393982
Soumis le : mercredi 4 décembre 2019-15:48:22
Dernière modification le : jeudi 11 mai 2023-11:56:10
Dates et versions
Identifiants
- HAL Id : hal-02393982 , version 1
Citer
Damien Pous. Coinduction: Automata, Formal Proof, Companions (Invited Paper). CALCO, Jun 2019, London, United Kingdom. ⟨hal-02393982⟩
Collections
21
Consultations
0
Téléchargements