Bibtex:FGMSTZ07

From Termination-Portal.org
Revision as of 09:09, 31 March 2008 by Fuhs (talk | contribs) (SAT'07 paper on SAT solving for finding polynomial interpretations (without and with negative constants))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

BibTex

C. Fuhs, J. Giesl, A. Middeldorp, R. Thiemann, P. Schneider-Kamp, H. Zankl - SAT Solving for Termination Analysis with Polynomial Interpretations

,2007
Bibtex
Author : C. Fuhs, J. Giesl, A. Middeldorp, R. Thiemann, P. Schneider-Kamp, H. Zankl
Title : SAT Solving for Termination Analysis with Polynomial Interpretations
In : -
Address :
Date : 2007
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:FGMSTZ07&oldid=269"