Bibtex:Giesl04

From Termination-Portal.org
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