Path and decomposition orderings for proving AC-termination

Bibliographische Detailangaben

1. Verfasser:	Steinbach, Joachim (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 1989
Schriftenreihe:	Seki-Report 1989,18
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!