Communication Dans Un Congrès
Année : 2015
Benjamin Gregoire : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01246719
Soumis le : samedi 19 décembre 2015-08:35:12
Dernière modification le : jeudi 11 mai 2023-11:56:10
Citer
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, et al.. Relational Reasoning via Probabilistic Coupling. Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, {LPAR-20} 2015, 2015, Suva, Fiji. ⟨10.1007/978-3-662-48899-7_27⟩. ⟨hal-01246719v1⟩
422
Consultations
325
Téléchargements