Tools:CaT
From Termination-Portal.org
CaT (Complexity and Termination)
- developed at University of Innsbruck, Austria
- home page: http://cl-informatik.uibk.ac.at/software/cat/
- developers: Martin Korp, Christian Sternagel and Harald Zankl
- publication:
