Communication Dans Un Congrès
Année : 2019
Matteo Mio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02136732
Soumis le : mercredi 22 mai 2019-12:18:25
Dernière modification le : jeudi 11 mai 2023-11:56:10
Dates et versions
Identifiants
- HAL Id : hal-02136732 , version 1
Citer
Christophe Lucas, Matteo Mio. Towards a Structural Proof Theory of Probabilistic mu-Calculi. FoSSaCS, Apr 2019, Prague, Czech Republic. pp.418-435. ⟨hal-02136732⟩
43
Consultations
0
Téléchargements