Difference between revisions of "Bibtex:GST06"
From Termination-Portal.org
Jump to navigationJump to search (added IJCAR'06 paper on AProVE) |
(No difference)
|
Latest revision as of 20:55, 13 May 2009
BibTex
J. Giesl, P. Schneider-Kamp, R. Thiemann - AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework