Difference between revisions of "Template:Tool"

From Termination-Portal.org
Jump to navigationJump to search
Line 1: Line 1:
= {{{shortname}}} ({{{longname}}}) =
+
= Polytool (A Termination Tool based on Polynomial Interpretations) =
* developed at {{{university}}}, {{{country}}}
+
* developed at Katholieke Universiteit Leuven, Belgium
* home page: {{{homepage}}}
+
* home page: http://www.cs.kuleuven.be/~manh/polytool/
* developers: {{{developers}}}
+
* developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl
 
<includeonly>
 
<includeonly>
[[Category:Tools|{{{shortname}}} ({{{{longname}}})]]
+
[[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]]
[[Category:{{{university}}}|{{{shortname}}} ({{{{longname}}})]]
+
[[Category:{{{university}}}|{{{KULeuven}}} ({{{{Katholieke Universiteit Leuven}}})]]
[[Category:{{{country}}}|{{{shortname}}} ({{{{longname}}})]]
+
[[Category:{{{Country}}}|{{{BE}}} ({{{{Belgium}}})]]
 
</includeonly>
 
</includeonly>

Revision as of 14:16, 13 May 2009

Polytool (A Termination Tool based on Polynomial Interpretations)