Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
18 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

18 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    On finetely generated non-finite presentations of groups and monoids
    K. Madlener ; F. Otto
    Kaiserslautern, 1983
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    String matching and algorithmic problems in free groups
    Jürgen Avenhaus ; Klaus Madlener
    Kaiserslautern, 1979
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Using string-rewriting for solving the word problem for finitely presented groups
    Klaus Madlener ; Friedrich Otto
    Kaiserslautern, 1986
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Derivation bounded groups
    K. Madlener ; F. Otto
    Kaiserslautern, 1981
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 ö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
  6. Detailansicht für Treffer 6 öffnen
    Polynomial time algorithms for the Nielsen reduction and related problems in free groups
    J. Avenhaus ; K. Madlener
    Kaiserslautern: Fachbereich Informatik, Univ, 1980
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Polynomial algorithms for problems in free groups based on Nielsen type arguments
    J. Avenhaus ; K. Madlener
    Kaiserslautern: Fachbereich Informatik, Univ, 1980
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    A test for lambda-confluence for certain prefix rewriting systems with applications to the generalized word problem
    N. Kuhn ; K. Madlener ; F. Otto
    Kaiserslautern, 1990
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Decidable sentences for context free groups
    K. Madlener ; F. Otto
    Kaiserslautern, [19]90
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Pseudo-natural algorithms for decision problems in certain types of string-rewriting systems
    Klaus Madlener ; Friedrich Otto
    Kaiserslautern, 1984
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation
    J. Avenhaus ; K. Madlener
    Kaiserslautern: Fachbereich Informatik, Univ, 1979
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Encoding complexities in decision problems of finitely presented combinatorial systems
    K. Madlener ; F. Otto
    Kaiserslautern: Fachbereich Informatik, Univ, 1982
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Groups presented by finite two-monadic Church-Rosser Thue systems
    J. Avenhaus ; K. Madlener ; F. Otto
    Kaiserslautern, 1984
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    On the quality of pseudo-natural algorithms for the word problems
    K. Madlener ; F. Otto
    Kaiserslautern: Fachbereich Informatik, Univ, 1983
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Finitely generated derivation bounded presentations of groups
    K. Madlener ; F. Otto
    Kaiserslautern: UNIV. KAISERSLAUTERN, FACHBEREICH INFORMATIK, 1982
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Application of rewriting techniques to solve the generalized word problem in groups
    N. Kuhn ; K. Madlener
    Kaiserslautern, [19]89
    Monographie, Sonstiges, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Commutativity in groups presented by finite Church Rosser Thue systems
    Klaus Madlener ; Friedrich Otto
    Kaiserslautern, 1986
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    P-complete problems in free groups
    J. Avenhaus ; K. Madlener
    Kaiserslautern: Fachbereich Informatik, Univ, 1980
    Monographie, Gedruckte Ressource

Artikel & mehr

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