Not registered as user yet
Name: Bertram Felgenhauer
Contributions
CPP 2021 | A Verified Decision Procedure for the First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile