Skip to Main content Skip to Navigation
New interface
Conference papers

Identity Testing for Radical Expressions

Complete list of metadata

https://hal-cnrs.archives-ouvertes.fr/hal-03861546
Contributor : Mahsa Shirmohammadi Connect in order to contact the contributor
Submitted on : Sunday, November 20, 2022 - 8:35:40 AM
Last modification on : Monday, November 21, 2022 - 3:51:40 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

0