Difference between revisions of "Tools:TCT"
From Termination-Portal.org
Jump to navigationJump to search (added page) |
m (cosmetic changes) |
||
| Line 11: | Line 11: | ||
|country=Austria | |country=Austria | ||
|university=University of Innsbruck | |university=University of Innsbruck | ||
| − | |developers=Martin Avanzini, Georg Moser, Andreas Schnabl | + | |developers=Martin Avanzini, [[People:Georg Moser|Georg Moser]], [[People:Andreas Schnabl|Andreas Schnabl]] |
}} | }} | ||
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | <!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | ||
| − | TCT is a complexity prover based on the termination tool [[Tools:TTT2]]. It is specialized in proving | + | TCT is a complexity prover based on the termination tool [[Tools:TTT2|TTT2]]. It is specialized in proving |
polynomial upper bounds on the derivational complexity and runtime complexity of TRSs. | polynomial upper bounds on the derivational complexity and runtime complexity of TRSs. | ||
Revision as of 15:18, 20 October 2008
TCT (Tyrolean Complexity Tool)
- developed at University of Innsbruck, Austria
- home page: TBA
- developers: Martin Avanzini, Georg Moser, Andreas Schnabl
- publication: {{{publication}}}
TCT is a complexity prover based on the termination tool TTT2. It is specialized in proving polynomial upper bounds on the derivational complexity and runtime complexity of TRSs.
