Bibtex:Giesl04

From Termination-Portal.org
Revision as of 17:25, 13 May 2009 by C-Otto (talk | contribs) (New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @INPROCEEDINGS{Giesl04automatedtermination, author = {Jürgen Giesl and René Thiema...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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
Bibtex
Author : 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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:Giesl04&oldid=751"