Christian Sternagel

TTT2

Visit the Tyrolean Termination Tool 2 (TTT2).

IsaFoR/CeTA

Visit the tool for Certified Termination Analysis (CeTA).

Valid HTML 4.01 Strict