Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tarik Rosin
conf.researchr.org general profile
PLDI 2026 profile
Registered user since Fri 5 Jun 2026
Name:
Tarik Rosin
Affiliation:
Saarland University
Contributions
2026
EGRAPHS
Author of Associativity and Commutativity in Equality Saturation within the EGRAPHS-track
Share
x
Wed 15 Jul 16:04