Tools:TCT

From Termination-Portal.org

Jump to: navigation, search

TCT (Tyrolean Complexity Tool)

developed at University of Innsbruck, Austria
home page: http://cl-informatik.uibk.ac.at/software/tct/
developers: Martin Avanzini, Georg Moser, Andreas Schnabl
publication:

Retrieved from "http://www.termination-portal.org/wiki/Tools:TCT"

Categories: Tools | University of Innsbruck | Austria

Views

Personal tools

Log in

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

Search

Toolbox