conf.researchr.org / Bertram Felgenhauer
Not registered as user yet
Name:Bertram Felgenhauer
Contributions
| CPP 2021 | Author of A Verified Decision Procedure for the First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems within the CPP 2021-track |