T y r o l e a n   T e r m i n a t i o n   T o o l

TTT has moved!

The Tyrolean Termination Tool is a tool for automatically proving termination of rewrite systems.

More information can be found at the new home for TTT, http://colo6-c703.uibk.ac.at/. Please update your bookmarks.