The undecidability of self embedding for finite semi Thue and Thue systems.
Saved in:
Personal Name(s): | Otto, F. |
---|---|
Imprint: |
Kaiserslautern :
Universität Kaiserslautern,
1986.
|
Physical Description: |
Getr. Pag. |
Note: |
englisch |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;
Vol 0161. |
Subject (ZB): | |
Classification: |
LEADER | 00815cam a2200229 n 4500 | ||
---|---|---|---|
001 | 120144 | ||
005 | 19971021000000.0 | ||
008 | r1986 | ||
035 | |a (Sirsi) a106833 | ||
084 | 0 | |a MDF - Formal languages, coding theory |2 ZB | |
245 | 0 | 4 | |a The undecidability of self embedding for finite semi Thue and Thue systems. |
260 | |a Kaiserslautern : |b Universität Kaiserslautern, |c 1986. | ||
300 | |a Getr. Pag. | ||
490 | 0 | |a Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ; |v Vol 0161. | |
500 | |a englisch | ||
596 | |a 1 | ||
650 | 4 | |a rewriting technique | |
650 | 4 | |a Turing machine | |
700 | 1 | |a Otto, F. | |
900 | |a S 005967-0161'01' | ||
908 | |a Hochschulschrift | ||
949 | |a S 005967-0161'01' |w LC |c 1 |i 1087003916 |l STACKS |m ZB |r Y |s Y |t ZBHS |u 25/3/2009 |x ZB-M |1 PRINT |2 HS |