Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
24 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

24 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Eine E n -Frattini-Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe
    K. Madlener und F. Otto
    Kaiserslautern: Fachbereich Informatik, Univ, 1980
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Derivation bounded groups
    K. Madlener ; F. Otto
    Kaiserslautern, 1981
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Regular languages over countably infinite alphabets
    F. Otto
    Kaiserslautern: Univ., Fachbereich Informatik, 1981
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Kontext-freie Sprachen und Transduktionen über abzählbar-unendlichen Alphabeten
    F. Otto
    Kaiserslautern, [19]83
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Encoding complexities in decision problems of finitely presented combinatorial systems
    K. Madlener ; F. Otto
    Kaiserslautern: Fachbereich Informatik, Univ, 1982
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Finitely generated derivation bounded presentations of groups
    K. Madlener ; F. Otto
    Kaiserslautern: UNIV. KAISERSLAUTERN, FACHBEREICH INFORMATIK, 1982
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    On finetely generated non-finite presentations of groups and monoids
    K. Madlener ; F. Otto
    Kaiserslautern, 1983
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    On the quality of pseudo-natural algorithms for the word problems
    K. Madlener ; F. Otto
    Kaiserslautern: Fachbereich Informatik, Univ, 1983
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Some undecidability results for non-monadic Church Rosser Thue systems
    Friedrich Otto
    Kaiserslautern, [19]84
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Finite complete rewriting systems and the complexity of the word problem
    G. Bauer ; F. Otto
    Kaiserslautern: Univ., Fachbereich Informatik, [19]84
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Groups presented by finite two-monadic Church-Rosser Thue systems
    J. Avenhaus ; K. Madlener ; F. Otto
    Kaiserslautern, 1984
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Pseudo-natural algorithms for decision problems in certain types of string-rewriting systems
    Klaus Madlener ; Friedrich Otto
    Kaiserslautern, 1984
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    On two problems related to cancellativity
    F. Otto
    Kaiserslautern, 1985
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    On deciding whether a monoid is a free monoid or is a group
    Otto, Friedrich
    Kaiserslautern, 1985
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    On deciding the confluence of a finite string-rewriting system on a given congruence class
    Otto, Friedrich
    Kaiserslautern, 1986
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Commutativity in groups presented by finite Church Rosser Thue systems
    Klaus Madlener ; Friedrich Otto
    Kaiserslautern, 1986
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    The undecidability of self-embedding for finite semi-Thue and Thue systems
    Otto, Friedrich
    Kaiserslautern, 1986
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Using string-rewriting for solving the word problem for finitely presented groups
    Klaus Madlener ; Friedrich Otto
    Kaiserslautern, 1986
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free
    Paliath Narendran ; Friedrich Otto
    Kaiserslautern, 1987
    Monographie, Sonstiges, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Characterizations of overlaps in free partially commutative monoids
    Friedrich Otto ; Celia Wrathall
    Kaiserslautern, 1988
    Monographie, Sonstiges, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -