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