conf.researchr.org / Dirk Nowotka
Not registered as user yet
Name:Dirk Nowotka
Affiliation:Kiel University
Contributions
| AST 2020 | Author of The Power of String Solving: Simplicity of Comparison within the AST 2020-track |
| FormaliSE 2020 | Author of Rule-based Word Equation Solving within the FormaliSE 2020-track |