Difference between revisions of "Bibtex:Giesl04"
From Termination-Portal.org
Jump to navigationJump to search (New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @INPROCEEDINGS{Giesl04automatedtermination, author = {Jürgen Giesl and René Thiema...) |
(No difference)
|
Latest revision as of 17:25, 13 May 2009
BibTex
Jürgen Giesl, René Thiemann, Peter Schneider-kamp, Stephan Falke - Automated Termination Proofs with AProVE
- In RTA’2004: Rewriting Techniques and Applications, volume 3091 of LNCS pp. 210--220,2004
- BibtexAuthor : Jürgen Giesl, René Thiemann, Peter Schneider-kamp, Stephan Falke
Title : Automated Termination Proofs with AProVE
In : In RTA’2004: Rewriting Techniques and Applications, volume 3091 of LNCS -
Address :
Date : 2004
