conf.researchr.org / Franziska Rapp
Not registered as user yet
Name: Franziska Rapp
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
Name: Franziska Rapp
Contributions
| CPP 2019 | Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track |