Difference between revisions of "Template:Tool"
From Termination-Portal.org
Jump to navigationJump to searchm (→polytool) |
m (→polytool) |
||
| Line 1: | Line 1: | ||
= Polytool (A Tool for Termination Analysis of Logic Programs based on Polynomial Interpretations) = | = Polytool (A Tool for Termination Analysis of Logic Programs based on Polynomial Interpretations) = | ||
| − | * developed at | + | * developed at Katholieke Universiteit Leuven, Belgium |
| − | * home page: | + | * home page: http://www.cs.kuleuven.be/~manh/polytool/ |
| − | * developers: | + | * developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl |
<includeonly> | <includeonly> | ||
| − | [[Category:{{{ | + | [[Category:{{{tool}}}|{{{shortname}}} ({{{{longname}}})]] |
[[Category:{{{university}}}|{{{shortname}}} ({{{{longname}}})]] | [[Category:{{{university}}}|{{{shortname}}} ({{{{longname}}})]] | ||
[[Category:{{{country}}}|{{{shortname}}} ({{{{longname}}})]] | [[Category:{{{country}}}|{{{shortname}}} ({{{{longname}}})]] | ||
</includeonly> | </includeonly> | ||
Revision as of 14:30, 13 May 2009
Polytool (A Tool for Termination Analysis of Logic Programs based on Polynomial Interpretations)
- developed at Katholieke Universiteit Leuven, Belgium
- home page: http://www.cs.kuleuven.be/~manh/polytool/
- developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl
