People:René Thiemann
From Termination-Portal.org
(Redirected from User:Thiemann)
Jump to navigationJump to search
René Thiemann
- in the Department of Computational Logic Group (University of Innsbruck, Austria)
- home page: http://cl-informatik.uibk.ac.at/~thiemann/
- email: mailto:rene.thiemann_at_uibk.ac.at