Jump to content

Bibtex:Giesl04

From Termination-Portal.org

Revision as of 17:25, 13 May 2009 by C-Otto (talk | contribs) (New page: == BibTex ==  <bibtex> @INPROCEEDINGS{Giesl04automatedtermination, author = {Jürgen Giesl and René Thiema...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BibTex

<bibtex> @INPROCEEDINGS{Giesl04automatedtermination,

   author = {Jürgen Giesl and René Thiemann and Peter Schneider-kamp and Stephan Falke},
   title = {Automated Termination Proofs with AProVE},
   booktitle = {In RTA’2004: Rewriting Techniques and Applications, volume 3091 of LNCS},
   year = {2004},
   pages = {210--220},
   publisher = {Springer}

} </bibtex>

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:Giesl04&oldid=751"

Bibtex