The DP framework for proving termination of term rewriting

Zugl.: Aachen, Techn. Hochsch., Diss, 2007

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Thiemann, René (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen RWTH, Department of Computer Science 2007
Schriftenreihe:	Aachener Informatik-Berichte 2007,17 Technical report / Department of Computer Science, RWTH Aachen
Schlagworte:	Forschungsbericht > Hochschulschrift > Termersetzungssystem > Terminierung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Aachen, Techn. Hochsch., Diss, 2007
Beschreibung:	Ausdr. der Online-Ressource. - Erzeugt aus: http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2007/2007-17.pdf Auch als elektronische Ressource vorh Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Beschreibung:	II, 211 Bl. graph. Darst.