http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=Polytool 2026-04-03T18:28:36Z User contributions MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=People:Danny_De_Schreye&diff=786 2009-05-14T10:20:43Z

<p>Polytool: New page: &lt;!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...</p> <hr /> <div>&lt;!--<br /> Please fill in the data so that you can be added to some default<br /> categories and a simple user page can be created. You may extend<br /> that user page yourself after the following code block.<br /> --&gt;<br /> <br /> {{Person<br /> |firstname= Danny<br /> |middlenames=<br /> |lastname= De Schreye<br /> |titles= Prof.<br /> |email= danny.deschreye@cs.kuleuven.be<br /> |homepage= http://www.cs.kuleuven.be/~dannyd<br /> |country= Belgium<br /> |university= KULeuven<br /> |department= Computer Science<br /> |role= Professor &lt;!-- role: Student, Professor, PhD Student, ... --&gt;<br /> }}<br /> <br /> &lt;!-- If you want to add some personal data to your userpage, you can do so after this comment. --&gt;</div>

Polytool http://termination-portal.org/mediawiki/index.php?title=People:Manh_Thang_Nguyen&diff=785 2009-05-14T10:18:26Z

<p>Polytool: New page: &lt;!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...</p> <hr /> <div>&lt;!--<br /> Please fill in the data so that you can be added to some default<br /> categories and a simple user page can be created. You may extend<br /> that user page yourself after the following code block.<br /> --&gt;<br /> <br /> {{Person<br /> |firstname= Thang<br /> |middlenames= Manh<br /> |lastname= Nguyen<br /> |titles=<br /> |email= manhthang.nguyen@cs.kuleuven.be<br /> |homepage= http://www.cs.kuleuven.be/~manh<br /> |country= Belgium<br /> |university= KULeuven<br /> |department= Computer Science<br /> |role= PhD student &lt;!-- role: Student, Professor, PhD Student, ... --&gt;<br /> }}<br /> <br /> &lt;!-- If you want to add some personal data to your userpage, you can do so after this comment. --&gt;</div>

Polytool http://termination-portal.org/mediawiki/index.php?title=Template:Tool&diff=744 2009-05-13T14:30:42Z

<p>Polytool: /*polytool */</p> <hr /> <div>= Polytool (A Tool for Termination Analysis of Logic Programs based on Polynomial Interpretations) =<br /> * developed at Katholieke Universiteit Leuven, Belgium<br /> * home page: http://www.cs.kuleuven.be/~manh/polytool/<br /> * developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl<br /> &lt;includeonly&gt;<br /> [[Category:{{{tool}}}|{{{shortname}}} ({{{{longname}}})]]<br /> [[Category:{{{university}}}|{{{shortname}}} ({{{{longname}}})]]<br /> [[Category:{{{country}}}|{{{shortname}}} ({{{{longname}}})]]<br /> &lt;/includeonly&gt;</div>

Polytool http://termination-portal.org/mediawiki/index.php?title=Template:Tool&diff=743 2009-05-13T14:27:53Z

<p>Polytool: /*polytool */</p> <hr /> <div>= Polytool (A Tool for Termination Analysis of Logic Programs based on Polynomial Interpretations) =<br /> * developed at {{{Katholieke Universiteit Leuven}}}, {{{Belgium}}}<br /> * home page: {{{http://www.cs.kuleuven.be/~manh/polytool/}}}<br /> * developers: {{{Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl}}}<br /> &lt;includeonly&gt;<br /> [[Category:{{{tools}}}|{{{shortname}}} ({{{{longname}}})]]<br /> [[Category:{{{university}}}|{{{shortname}}} ({{{{longname}}})]]<br /> [[Category:{{{country}}}|{{{shortname}}} ({{{{longname}}})]]<br /> &lt;/includeonly&gt;</div>

Polytool http://termination-portal.org/mediawiki/index.php?title=Template:Tool&diff=742 2009-05-13T14:22:35Z

<p>Polytool: /*polytool */</p> <hr /> <div>= Polytool (A Termination Tool based on Polynomial Interpretations) =<br /> * developed at Katholieke Universiteit Leuven, Belgium<br /> * home page: http://www.cs.kuleuven.be/~manh/polytool/<br /> * developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl</div>

Polytool http://termination-portal.org/mediawiki/index.php?title=Template:Tool&diff=741 2009-05-13T14:19:42Z

<p>Polytool: /*polytool*/</p> <hr /> <div>= Polytool (A Termination Tool based on Polynomial Interpretations) =<br /> * developed at Katholieke Universiteit Leuven, Belgium<br /> * home page: http://www.cs.kuleuven.be/~manh/polytool/<br /> * developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl<br /> &lt;includeonly&gt;<br /> [[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]]<br /> [[Category:university|KULeuven (Katholieke Universiteit Leuven)]]<br /> [[Category:country|BE (Belgium)]]<br /> &lt;/includeonly&gt;</div>

Polytool http://termination-portal.org/mediawiki/index.php?title=Template:Tool&diff=740 2009-05-13T14:16:28Z

<p>Polytool: /* {{{polytool}}} ({{{longname}}}) */</p> <hr /> <div>= Polytool (A Termination Tool based on Polynomial Interpretations) =<br /> * developed at Katholieke Universiteit Leuven, Belgium<br /> * home page: http://www.cs.kuleuven.be/~manh/polytool/<br /> * developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jurgen Giesl<br /> &lt;includeonly&gt;<br /> [[Category:Tools|{{{Polytool}}} ({{{{Termination Tool based on Polynomial Interpretations}}})]]<br /> [[Category:{{{university}}}|{{{KULeuven}}} ({{{{Katholieke Universiteit Leuven}}})]]<br /> [[Category:{{{Country}}}|{{{BE}}} ({{{{Belgium}}})]]<br /> &lt;/includeonly&gt;</div>

Polytool