Difference between revisions of "People:René Thiemann"
From Termination-Portal.org
Jump to navigationJump to search| Line 12: | Line 12: | ||
|email=rene.thiemann@uibk.ac.at | |email=rene.thiemann@uibk.ac.at | ||
|homepage=http://cl-informatik.uibk.ac.at/~thiemann/ | |homepage=http://cl-informatik.uibk.ac.at/~thiemann/ | ||
| − | |country= | + | |country=Austria |
|university=University of Innsbruck | |university=University of Innsbruck | ||
|department= Institute of Computer Science Computational Logic Group | |department= Institute of Computer Science Computational Logic Group | ||
Revision as of 17:48, 29 March 2008
René Thiemann
- Research Assitent in the Department of Institute of Computer Science Computational Logic Group (University of Innsbruck, Austria)
- home page: http://cl-informatik.uibk.ac.at/~thiemann/
- email: mailto:rene.thiemann@uibk.ac.at
