Identity Testing for Radical Expressions - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Dates et versions

hal-03861546 , version 1 (20-11-2022)

Identifiants

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⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More