Difference between revisions of "Template:Tool"
From Termination-Portal.org
Jump to navigationJump to searchm (→polytool) |
|||
| Line 5: | Line 5: | ||
<includeonly> | <includeonly> | ||
[[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]] | [[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]] | ||
| − | [[Category: | + | [[Category:university|KULeuven (Katholieke Universiteit Leuven)]] |
| − | [[Category: | + | [[Category:country|BE (Belgium)]] |
</includeonly> | </includeonly> | ||
Revision as of 14:19, 13 May 2009
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
