http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3AContejean07 2026-05-06T09:30:37Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Bibtex:Contejean07&diff=824&oldid=prev 2009-05-21T08:22:18Z

<p>ref to a3pat added</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 /> <br /> @InProceedings{contejean07frocos,<br /> author = {Évelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},<br /> title = {Certification of automated termination proofs},<br /> booktitle = {6th International Symposium on Frontiers of Combining Systems (FroCos 07)},<br /> year = 2007,<br /> editor = {Boris Konev and Frank Wolter},<br /> volume = 4720,<br /> pages = {148--162},<br /> series = lnai,<br /> address = {Liverpool,UK},<br /> month = sep,<br /> publisher = sv<br /> }<br /> <br /> <br /> <br /> <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>

Urbain