Tools:TTT2

From Termination-Portal.org
Revision as of 08:56, 1 April 2008 by Hzankl (talk | contribs) (New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


TTT2 (Tyrolean Termination Tool 2)

  • developed at Innsbruck, Austria
  • home page: http://colo6-c703.uibk.ac.at/ttt2
  • developers: Martin Korp, Christian Sternagel, Harald Zankl, and Aart Middeldorp
  • publication: {{{publication}}}