http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3AGiesl04Bibtex:Giesl04 - Revision history2026-05-25T17:40:48ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Bibtex:Giesl04&diff=751&oldid=prevC-Otto: New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @INPROCEEDINGS{Giesl04automatedtermination, author = {Jürgen Giesl and René Thiema...2009-05-13T17:25:19Z<p>New page: <a href="/wiki/Category:Bibtex" title="Category:Bibtex"> </a> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @INPROCEEDINGS{Giesl04automatedtermination, author = {Jürgen Giesl and René Thiema...</p>
<p><b>New page</b></p><div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@INPROCEEDINGS{Giesl04automatedtermination,<br />
author = {Jürgen Giesl and René Thiemann and Peter Schneider-kamp and Stephan Falke},<br />
title = {Automated Termination Proofs with AProVE},<br />
booktitle = {In RTA’2004: Rewriting Techniques and Applications, volume 3091 of LNCS},<br />
year = {2004},<br />
pages = {210--220},<br />
publisher = {Springer}<br />
}<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>C-Otto