Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2021
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03216251
Soumis le : lundi 3 mai 2021-20:26:51
Dernière modification le : mardi 31 octobre 2023-10:22:07
Dates et versions
Identifiants
- HAL Id : hal-03216251 , version 1
Citer
Christel Baier, Jean Goubault-Larrecq (Dir.). 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. 183, 2021, LIPIcs, 978-3-95977-175-7. ⟨hal-03216251⟩
Collections
19
Consultations
0
Téléchargements