|
31 |
Groups presented by finite two monadic Church-Rosser Thue systems
Avenhaus, Jürgen. - Kaiserslautern : Fachbereich Informatik, Univ., 1984
|
|
|
|
32 |
Some undecidability results for non-monadic Church-Rosser Thue systems
Otto, Friedrich. - Kaiserslautern : Univ., Fachbereich Informatik, 1984
|
|
|
|
33 |
On finitely generated non-finite presentations of groups and monoids
Madlener, Klaus. - Kaiserslautern : Fachbereich Informatik, Univ., 1983
|
|
|
|
34 |
On the quality of pseudo-natural algorithms for the word problem
Madlener, Klaus. - Kaiserslautern : Fachbereich Informatik, 1983
|
|
|
|
35 |
Encoding complexities in decision problems of finitely presented combinatorial systems
Madlener, Klaus. - Kaiserslautern : Univ., Fachbereich Informatik, 1982
|
|
|
|
36 |
Finitely generated derivation bounded presentations of groups
Madlener, Klaus. - Kaiserslautern : Fachbereich Informatik, Univ., 1982
|
|
|
|
37 |
Kontext-freie Sprachen und Transduktionen über abzählbar-unendlichen Alphabeten
Otto, Friedrich. - Kaiserslautern : Univ., Fachbereich Informatik, 1982
|
|
|
|
38 |
Derivation-bounded groups
Madlener, Klaus. - Kaiserslautern : Univ., Fachbereich Informatik, 1981
|
|
|
|
39 |
Regular languages over countably infinite alphabets
Otto, Friedrich. - Kaiserslautern : Univ., Fachbereich Informatik, 1981
|
|
|
|
40 |
Eine En-Frattini-Einbettung [En-Frattini-Einbettung] in eine einfache Untergruppe einer endlich dargestellten Gruppe
Madlener, Klaus. - Kaiserslautern : Fachbereich Informatik, Univ., 1980
|
|
Administration
