Communication Dans Un Congrès
Année : 2022
Mahsa Shirmohammadi : Connectez-vous pour contacter le contributeur
https://cnrs.hal.science/hal-03861546
Soumis le : dimanche 20 novembre 2022-08:35:40
Dernière modification le : vendredi 24 mars 2023-14:53:29
Dates et versions
Identifiants
- HAL Id : hal-03861546 , version 1
- ARXIV : 2202.07961
- DOI : 10.1145/3531130.3533331
Citer
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell. Identity Testing for Radical Expressions. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-11, ⟨10.1145/3531130.3533331⟩. ⟨hal-03861546⟩
Collections
9
Consultations
0
Téléchargements