Difference between revisions of "Template:Tool"
From Termination-Portal.org
Jump to navigationJump to searchLine 1: | Line 1: | ||
− | = | + | = Polytool (A Termination Tool based on Polynomial Interpretations) = |
− | * developed at | + | * developed at Katholieke Universiteit Leuven, Belgium |
− | * home page: | + | * home page: http://www.cs.kuleuven.be/~manh/polytool/ |
− | * developers: | + | * developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl |
<includeonly> | <includeonly> | ||
− | [[Category:Tools|{{{ | + | [[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]] |
− | [[Category:{{{university}}}|{{{ | + | [[Category:{{{university}}}|{{{KULeuven}}} ({{{{Katholieke Universiteit Leuven}}})]] |
− | [[Category:{{{ | + | [[Category:{{{Country}}}|{{{BE}}} ({{{{Belgium}}})]] |
</includeonly> | </includeonly> |
Revision as of 14:16, 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