Search Results - Sattler-Klein, Andrea

  • Showing 1 – 9 results of 9
Filter by
  1. 1
    Cover Image

    Divergence phenomena during completion
    by Sattler-Klein, Andrea

    Published 1990
    Book


    Saved in:
  2. 2
    Cover Image

    The SMOV-strategy: a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm
    by Sattler-Klein, Andrea

    Published 1989
    Book


    Saved in:
  3. 3
    Cover Image

    Some remarks on finitely presented monoids with automatic structure
    by Otto, Friedrich, Sattler-Klein, Andrea

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    The SMOV-strategy: a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm
    by Sattler-Klein, Andrea

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    FDT is undecidable for finitely presented monoids with solvable word problems
    by Otto, Friedrich, Sattler-Klein, Andrea

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related proplems
    by Sattler-Klein, Andrea

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    Proof lengths for equational completion
    by Plaisted, David A., Sattler-Klein, Andrea

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    About changing the ordering during Knuth-Bendix completion
    by Sattler-Klein, Andrea

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related problems
    by Sattler-Klein, Andrea

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: