Template:Tool
From Termination-Portal.org
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}}}
