Fabian Mitterwallner -

Registered user since Wed 25 Nov 2020

Name:Fabian Mitterwallner

Affiliation:University of Innsbruck

Contributions

2021

CPP

Author of A Verified Decision Procedure for the First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems within the CPP 2021-track