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