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}}}