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

Bibliographische Detailangaben

1. Verfasser:	Gramlich, Bernhard (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern Univ., Fachbereich Informatik 1993
Schriftenreihe:	SEKI-Report 93,9
Schlagworte:	Forschungsbericht
Online Zugang:	http://kluedo.ub.uni-kl.de/volltexte/2000/351/
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!