conf.researchr.org / Fabian Mitterwallner
Registered user since Wed 25 Nov 2020
Name:Fabian Mitterwallner
Affiliation:University of Innsbruck
Contributions
| CPP 2021 | Author of A Verified Decision Procedure for the First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems within the CPP 2021-track |