Termination of rewriting extensions, comparison and automatic generation of simplification orderings

Kaiserslautern, Univ., Diss. : 1994

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Steinbach, Joachim (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1994
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Kaiserslautern, Univ., Diss. : 1994
Beschreibung:	VIII, 288 S graph. Darst