Difference between revisions of "Template:Tool"

From Termination-Portal.org
Jump to navigationJump to search
 
(6 intermediate revisions by 2 users not shown)
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>
 
<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>
 
</includeonly>

Latest revision as of 17:18, 13 May 2009

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

  • developed at {{{university}}}, {{{country}}}
  • home page: {{{homepage}}}
  • developers: {{{developers}}}
  • publication: {{{publication}}}