People:René Thiemann

From Termination-Portal.org

Revision as of 17:49, 29 March 2008 by Nowonder (talk | contribs)

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

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

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

Navigation menu