Difference between revisions of "Template:Tool"

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

Revision as of 14:27, 13 May 2009

Polytool (A Tool for Termination Analysis of Logic Programs based on Polynomial Interpretations)