Registered user since Wed 25 Nov 2020
Name: Fabian Mitterwallner
Affiliation: University of Innsbruck
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