SAT solving for termination analysis with polynomial interpretations

Bibliographische Detailangaben

Körperschaft:	Rheinisch-Westfälische Technische Hochschule Aachen (BerichterstatterIn)
Weitere Verfasser:	Fuhs, Carsten (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen 2007
Schriftenreihe:	Aachener Informatik-Berichte 2007,2 Technical report / Department of Computer Science, RWTH Aachen
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!