N°Spécial De Revue/Special Issue
Electronic Notes in Theoretical Computer Science
Année : 2019
Beniamino Accattoli : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02415802
Soumis le : mardi 17 décembre 2019-12:02:53
Dernière modification le : jeudi 1 août 2024-17:08:02
Citer
Beniamino Accattoli, Carlos Olarte. Preface. Beniamino Accattoli; Carlos Olarte. Electronic Notes in Theoretical Computer Science, 344, pp.1-2, 2019, The proceedings of LSFA 2018, the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA’18), ⟨10.1016/j.entcs.2019.07.001⟩. ⟨hal-02415802⟩
Collections
41
Consultations
0
Téléchargements