Difference between revisions of "Template:Tool"
From Termination-Portal.org
Jump to navigationJump to searchm (→polytool) |
m (→polytool) |
||
| Line 3: | Line 3: | ||
* 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 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 14:22, 13 May 2009
Polytool (A Termination Tool 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
