People:René Thiemann

From Termination-Portal.org

Jump to: navigation, 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://www.termination-portal.org/wiki/People:Ren%C3%A9_Thiemann"

Categories: People | University of Innsbruck | Austria

Views

Personal tools

Log in

Image (C) 2002-8 Gershon Elber. Used with permission.

Search

Toolbox