The undecidability of self embedding for finite semi Thue and Thue systems.

Saved in:
Otto, F.
Kaiserslautern : Universität Kaiserslautern, 1986.
Getr. Pag.
englisch
Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ; Vol 0161.

ZB
Open Stacks Call Number: S 005967-0161'01' Barcode: 1087003916 Available