Conference Papers
Year :
Mahsa Shirmohammadi : Connect in order to contact the contributor
https://cnrs.hal.science/hal-03861546
Submitted on : Sunday, November 20, 2022-8:35:40 AM
Last modification on : Friday, March 24, 2023-2:53:29 PM
Dates and versions
Identifiers
- HAL Id : hal-03861546 , version 1
- ARXIV : 2202.07961
- DOI : 10.1145/3531130.3533331
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⟩
Collections
9
View
0
Download