• Sign in
  • Sign up
conf.researchr.org / Franziska Rapp
  • POPL 2019 profile

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

Share
xSun 29 Jan 00:45
using conf.researchr.org (v1.58.0)
Support page
Sign Up