A complete characterization of termination of 0p1q→1r0s

Bibliographische Detailangaben

1. Verfasser:	Zantema, Hans (VerfasserIn)
Weitere Verfasser:	Geser, Alfons (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Utrecht Univ. 1994
Schriftenreihe:	Technical report UU-CS / Department of Computer Science, Utrecht University 1994-44
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!