Tools:Polytool

From Termination-Portal.org
Revision as of 16:52, 13 May 2009 by C-Otto (talk | contribs)
Jump to navigationJump to search


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
  • publication: {{{publication}}}