• Sign in
  • Sign up
conf.researchr.org / Bertram Felgenhauer
  • POPL 2019 profile

Not registered as user yet

Name:Bertram Felgenhauer

Contributions

2019

CPP

  • Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track
Share
xFri 22 Sep 00:47
using conf.researchr.org (v1.62.0)
Support page
Sign Up