SAT solving for termination analysis with polynomial interpretations

Gespeichert in:

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!

Beschreibung
Beschreibung:	Ausdr. der Online-Ressource. - Erzeugt aus: http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2007/2007-02.pdf Auch als elektronische Ressource vorh Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Beschreibung:	26 Bl.