Latest revision as of 17:18, 13 May 2009

{{{shortname}}} ({{{longname}}})

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