Univ.-Prof. Dr. Aart Middeldorp
Home
Events
Research
Teaching
Research
publications
activities
TTT2
researchers in rewriting
TTT2
Tyrolean Termination Tool
The
Tyrolean Termination Tool 2
(TTT2) is a tool for automatically proving (and disproving) termination of rewrite systems.