conf.researchr.org / Joel D. Day
Not registered as user yet
Name:Joel D. Day
Country:United Kingdom
Affiliation:Loughborough University
Contributions
| POPL 2023 | Author of On the Expressive Power of String Constraints within the POPL-track |
| FormaliSE 2020 | Author of Rule-based Word Equation Solving within the FormaliSE 2020-track |