People:René Thiemann

From Termination-Portal.org

Revision as of 14:16, 10 April 2008 by Thiemann (talk | contribs)

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

Jump to navigation Jump to search

René Thiemann

in the Department of Computational Logic Group (University of Innsbruck, Austria)
home page: http://cl-informatik.uibk.ac.at/~thiemann/
email: mailto:rene.thiemann at uibk.ac.at

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

Navigation menu