Bibtex:GST06

From Termination-Portal.org
Revision as of 20:55, 13 May 2009 by Fuhs (talk | contribs) (added IJCAR'06 paper on AProVE)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

BibTex

J. Giesl, P. Schneider-Kamp, R. Thiemann - AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework

Proceedings IJCAR '06 pp. 281-286,2006
Bibtex
Author : J. Giesl, P. Schneider-Kamp, R. Thiemann
Title : AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
In : Proceedings IJCAR '06 -
Address :
Date : 2006
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:GST06&oldid=774"