Bibtex:GST06

From Termination-Portal.org
Jump to: navigation, 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
Personal tools