http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3ADLMMU04Bibtex:DLMMU04 - Revision history2026-05-02T14:00:35ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Bibtex:DLMMU04&diff=871&oldid=prevBalarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...2009-06-16T15:35:03Z<p>New page: <a href="/wiki/Category:Bibtex" title="Category:Bibtex"> </a> <a href="/mediawiki/index.php?title=Category:BibtexNews&action=edit&redlink=1" class="new" title="Category:BibtexNews (page does not exist)"> </a> <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<p><b>New page</b></p><div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/pepm/DuranLMMU04,<br />
author = {F. Dur&aacute;n and<br />
S. Lucas and<br />
J. Meseguer and<br />
C. March&eacute; and<br />
X. Urbain},<br />
title = {Proving termination of membership equational programs},<br />
booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial<br />
Evaluation and Semantics-based Program Manipulation, PEPM'04},<br />
year = {2004},<br />
pages = {147-158},<br />
editor = {Nevin Heintze and Peter Sestoft}<br />
<br />
}<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarcon