On congruences and normal forms definable by term rewriting systems / J. Avenhaus
Saved in:
Personal Name(s): | Avenhaus, Jürgen, author |
---|---|
Imprint: |
Kaiserslautern :
Universität Kaiserslautern,
1984
|
Physical Description: |
getrennte Zählung |
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 ;
116 |
Subject (ZB): | |
Classification: |
LEADER | 00980cam a2200277 n 4500 | ||
---|---|---|---|
001 | 120142 | ||
008 | r1984 eng | ||
035 | |a (Sirsi) a106831 | ||
035 | |a (Sirsi) 120142 | ||
041 | |a eng | ||
084 | 0 | |a MDF - Formal languages, coding theory | |
100 | |a Avenhaus, Jürgen, |e Verfasser | ||
245 | 0 | 0 | |a On congruences and normal forms definable by term rewriting systems / |c J. Avenhaus |
264 | |a Kaiserslautern : |b Universität Kaiserslautern, |c 1984 | ||
300 | |a getrennte Zählung | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
490 | |a Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ; |v 116 | ||
500 | |a englisch | ||
650 | 4 | |a rewriting technique | |
900 | |a S 005967-0116'01' | ||
908 | |a Hochschulschrift | ||
915 | |a HS | ||
596 | |a 1 | ||
949 | |a S 005967-0116'01' |w LC |c 1 |i 1087003912 |l STACKS |m ZB |r Y |s Y |t ZBHS |u 25/3/2009 |x ZB-M |1 PRINT |2 HS |