Difference between revisions of "Template:Tool"

From Termination-Portal.org
Jump to navigationJump to search
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
<includeonly>
 
[[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]]
 
[[Category:university|KULeuven (Katholieke Universiteit Leuven)]]
 
[[Category:country|BE (Belgium)]]
 
</includeonly>
 

Revision as of 14:22, 13 May 2009

Polytool (A Termination Tool based on Polynomial Interpretations)