Search Results - Madlener, Klaus

Filter by
  1. 1
    Cover Image

    Decidable sentences for context-free groups
    by Madlener, Klaus, Otto, Friedrich

    Published 1990
    Book


    Saved in:
  2. 2
    Cover Image

    A test for lambda-confluence for certain prefix rewriting systems with applications to the generalized word problem
    by Kuhn, Norbert, Madlener, Klaus, Otto, Friedrich

    Published 1990
    Book


    Saved in:
  3. 3
    Cover Image

    Commutativity in groups presented by finite Church-Rosser Thue systems
    by Madlener, Klaus

    Published 1986
    Book


    Saved in:
  4. 4
    Cover Image

    Using string-rewriting for solving the word problem for finitely presented groups
    by Madlener, Klaus

    Published 1986
    Book


    Saved in:
  5. 5
    Cover Image

    Application of rewriting techniques to solve the generalized word problem in groups
    by Kuhn, N., Madlener, Klaus

    Published 1989
    Book


    Saved in:
  6. 6
    Cover Image

    On Gröbner bases for two-sided ideals in nilpotent group rings
    by Madlener, Klaus, Reinert, Birgit 1964-2006

    Published 1995
    Book


    Saved in:
  7. 7
    Cover Image

    On Gröbner bases in monoid and group rings
    by Madlener, Klaus, Reinert, Birgit 1964-2006

    Published 1993
    Book


    Saved in:
  8. 8
    Cover Image

    Commutativity in groups presented by finite Church-Rosser Thue systems
    by Madlener, Klaus, Otto, Friedrich

    Published 1986
    Book


    Saved in:
  9. 9
    Cover Image

    Encoding complexities in decision problems of finitely presented combinatorial systems
    by Madlener, Klaus

    Published 1982
    Book


    Saved in:
  10. 10
    Cover Image

    Derivation-bounded groups
    by Madlener, Klaus, Otto, Friedrich

    Published 1981
    Book


    Saved in:
  11. 11
    Cover Image

    String matching and algorithmic problems in free groups
    by Avenhaus, Jürgen, Madlener, Klaus

    Published 1979
    Book


    Saved in:
  12. 12
    Cover Image

    Decidable sentences for context free groups
    by Madlener, Klaus, Otto, Friedrich

    Published 1990
    Book


    Saved in:
  13. 13
    Cover Image

    On the quality of pseudo-natural algorithms for the word problem
    by Madlener, Klaus

    Published 1983
    Book


    Saved in:
  14. 14
    Cover Image

    Polynomial time algorithms for the Nielsen reduction and related problems in free groups
    by Avenhaus, Jürgen, Madlener, Klaus

    Published 1980
    Book


    Saved in:
  15. 15
    Cover Image

    Eine En-Frattini-Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe
    by Madlener, Klaus, Otto, Friedrich

    Published 1980
    Book


    Saved in:
  16. 16
    Cover Image

    Polynomial algorithms for problems in free groups based on Nielsen type arguments
    by Avenhaus, Jürgen, Madlener, Klaus

    Published 1980
    Book


    Saved in:
  17. 17
    Cover Image

    Computing presentations for subgroups of polycyclic groups and of context-free groups
    by Kuhn, Norbert, Madlener, Klaus, Otto, Friedrich

    Published 1992
    Book


    Saved in:
  18. 18
    Cover Image

    A specialized completion procedure for monadic string-rewriting systems presenting groups
    by Madlener, Klaus, Narendran, Paliath 1955-, Otto, Friedrich

    Published 1990
    Book


    Saved in:
  19. 19
    Cover Image

    Using string-rewriting for solving the word problem for finitely presented groups
    by Madlener, Klaus, Otto, Friedrich

    Published 1986
    Book


    Saved in:
  20. 20
    Cover Image

    Groups presented by finite two-monadic Church-Rosser Thue systems
    by Avenhaus, Jürgen 1941-, Madlener, Klaus, Otto, Friedrich

    Published 1984
    Book


    Saved in:

Search Tools: