Conditional rewrite rules Confluency and termination

Bibliographische Detailangaben

1. Verfasser:	Bergstra, J.A. (VerfasserIn)
Weitere Verfasser:	Klop, J.W. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Amsterdam Stichting Math. Centrum 1982
Schriftenreihe:	MC. IW 198
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!