Template:Tool
From Termination-Portal.org
Polytool (A Termination Tool based on Polynomial Interpretations)
- developed at Katholieke Universiteit Leuven, Belgium
- home page: http://www.cs.kuleuven.be/~manh/polytool/
- developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl