People:René Thiemann

From Termination-Portal.org

Revision as of 17:47, 29 March 2008 by Nowonder (talk | contribs) (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...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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é]]

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=People:René_Thiemann&oldid=168"

Navigation menu