Difference between revisions of "People:René Thiemann"
From Termination-Portal.org
Jump to navigationJump to search (New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...) |
(No difference)
|
Revision as of 17:47, 29 March 2008
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é]]