http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3ACoLoR06 2026-04-22T01:39:28Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR06&diff=833&oldid=prev 2009-06-03T07:12:42Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 07:12, 3 June 2009</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Line 9:</td> <td colspan="2" class="diff-lineno">Line 9:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)},</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)},</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>YEAR = 2006,</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>YEAR = 2006,</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">NOTE </del>= <del class="diffchange diffchange-inline">{\url</del>{http://<del class="diffchange diffchange-inline">color</del>.inria.fr/<del class="diffchange diffchange-inline">}</del>}}</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">url </ins>= {http://<ins class="diffchange diffchange-inline">www-rocq</ins>.inria.fr/<ins class="diffchange diffchange-inline">~blanqui/wst06color-pdf.html</ins>}}</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div></td></tr> </table>

Blanqui http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR06&diff=780&oldid=prev 2009-05-14T02:02:07Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 02:02, 14 May 2009</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6" >Line 6:</td> <td colspan="2" class="diff-lineno">Line 6:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>@INPROCEEDINGS{blanqui06wst-color,</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>@INPROCEEDINGS{blanqui06wst-color,</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski},</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski},</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>TITLE = <del class="diffchange diffchange-inline">{</del>{CoLoR<del class="diffchange diffchange-inline">}</del>: a <del class="diffchange diffchange-inline">{C}oq {L}ibrary </del>on <del class="diffchange diffchange-inline">{R}ewriting </del>and termination},</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>TITLE = {CoLoR: a <ins class="diffchange diffchange-inline">Coq Library </ins>on <ins class="diffchange diffchange-inline">Rewriting </ins>and termination},</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)},</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)},</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>YEAR = 2006,</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>YEAR = 2006,</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>NOTE = {\url{http://color.inria.fr/}}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>NOTE = {\url{http://color.inria.fr/}}}</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div></td></tr> </table>

Blanqui http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR06&diff=779&oldid=prev 2009-05-14T02:01:41Z

<p>New page: <a href="/wiki/Category:Bibtex" title="Category:Bibtex"> </a> <a href="/mediawiki/index.php?title=Category:BibtexNews&amp;action=edit&amp;redlink=1" class="new" title="Category:BibtexNews (page does not exist)"> </a> &lt;!-- remove this line if this is not a new publication --&gt; == BibTex == &lt;!-- Please add the BibTeX data below this comment. --&gt; &lt;bibtex&gt; ...</p> <p><b>New page</b></p><div>[[Category:Bibtex| ]]<br /> [[Category:BibtexNews| ]] &lt;!-- remove this line if this is not a new publication --&gt;<br /> == BibTex ==<br /> &lt;!-- Please add the BibTeX data below this comment. --&gt;<br /> &lt;bibtex&gt;<br /> @INPROCEEDINGS{blanqui06wst-color,<br /> AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski},<br /> TITLE = {{CoLoR}: a {C}oq {L}ibrary on {R}ewriting and termination},<br /> BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)},<br /> YEAR = 2006,<br /> NOTE = {\url{http://color.inria.fr/}}}<br /> &lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div>

Blanqui