Communication Dans Un Congrès
Année : 2022
Matteo Mio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03790273
Soumis le : mercredi 28 septembre 2022-10:54:39
Dernière modification le : jeudi 11 mai 2023-11:56:10
Dates et versions
Identifiants
- HAL Id : hal-03790273 , version 1
- ARXIV : 2201.09087
- DOI : 10.1145/3531130.3533366
Citer
Matteo Mio, Ralph Sarkis, Valeria Vignudelli. Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-13, ⟨10.1145/3531130.3533366⟩. ⟨hal-03790273⟩
27
Consultations
0
Téléchargements