http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3ACoLoR11 2026-05-30T09:50:22Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR11&diff=1126&oldid=prev 2011-01-18T09:12:01Z

<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 09:12, 18 January 2011</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>@ARTICLE{blanqui11mscs,</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>@ARTICLE{blanqui11mscs,</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 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 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">{</del>Coq<del class="diffchange diffchange-inline">} </del>library on well-founded rewrite relations and its application to the automated verification of termination certificates},</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 Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates},</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>JOURNAL = {Mathematical Structures in Computer Science},</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>JOURNAL = {Mathematical Structures in Computer Science},</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 = {2011},</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 = {2011},</div></td></tr> </table>

Blanqui http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR11&diff=1125&oldid=prev 2011-01-18T09:11:39Z

<p>Created page with &quot;<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;...&quot;</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 /> @ARTICLE{blanqui11mscs,<br /> AUTHOR = {F. Blanqui and A. Koprowski},<br /> TITLE = {{CoLoR}: a {Coq} library on well-founded rewrite relations and its application to the automated verification of termination certificates},<br /> JOURNAL = {Mathematical Structures in Computer Science},<br /> YEAR = {2011},<br /> VOLUME = {?},<br /> NUMBER = {?},<br /> PAGES = {?-?},<br /> NOTE = {To appear}}<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