conf.researchr.org / Bertram Felgenhauer
Not registered as user yet
Name:Bertram Felgenhauer
Contributions
| CPP 2019 | Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track |
Not registered as user yet
Contributions
| CPP 2019 | Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track |