View source for Template:Tool

From Termination-Portal.org

← Template:Tool

You do not have permission to edit this page, for the following reasons:

• The action you have requested is limited to users in the group: Users.
• This page has been protected to prevent editing or other actions.

---

You can view and copy the source of this page.

= 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 <includeonly> [[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]] [[Category:university|KULeuven (Katholieke Universiteit Leuven)]] [[Category:country|BE (Belgium)]] </includeonly>

Return to Template:Tool.