Identity Testing for Radical Expressions - CNRS - Centre national de la recherche scientifique Access content directly
Conference Papers Year :

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More