Difference between revisions of "Template:Tool"
From Termination-Portal.org
Jump to navigationJump to searchm (→polytool) |
m (→polytool) |
||
| Line 1: | Line 1: | ||
| − | = Polytool (A Termination | + | = 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)
- 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}}}
