Bibtex:Giesl04
From Termination-Portal.org
Jump to navigationJump to searchBibTex
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
