Tools:TCT: Difference between revisions
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.