Bibtex:GST06

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