Relating innermost, weak, uniform and modular termination of term rewriting systems

Bibliographische Detailangaben

1. Verfasser:	Gramlich, Bernhard (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 1993
Schriftenreihe:	Seki-Report 1993,9
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!