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