Tools:TCT

From Termination-Portal.org
Revision as of 11:24, 16 April 2010 by Aschnabl (talk | contribs) (Deleted information that TCT is based on TTT2 because of the new Haskell implementation of TCT)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


TCT (Tyrolean Complexity Tool)