Difference between revisions of "Template:Tool"

From Termination-Portal.org
Jump to navigationJump to search
(Revert)
Line 1: Line 1:
= Polytool (A Tool for Termination Analysis of Logic Programs 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}}}
 
<includeonly>
 
<includeonly>
[[Category:{{{tool}}}|{{{shortname}}} ({{{{longname}}})]]
+
[[Category:Tools|{{{shortname}}} ({{{{longname}}})]]
 
[[Category:{{{university}}}|{{{shortname}}} ({{{{longname}}})]]
 
[[Category:{{{university}}}|{{{shortname}}} ({{{{longname}}})]]
 
[[Category:{{{country}}}|{{{shortname}}} ({{{{longname}}})]]
 
[[Category:{{{country}}}|{{{shortname}}} ({{{{longname}}})]]
 
</includeonly>
 
</includeonly>

Revision as of 16:47, 13 May 2009

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

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