Showing 1 - 9 results of 9 for search 'Sattler-Klein, Andrea', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Divergence phenomena during completion

    Divergence phenomena during completion by Sattler-Klein, Andrea

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Some remarks on finitely presented monoids with automatic structure

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

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related problems

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

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    The SMOV-strategy a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm

    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
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    FDT is undecidable for finitely presented monoids with solvable word problems

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

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related proplems

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

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Proof lengths for equational completion

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

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    About changing the ordering during Knuth-Bendix completion

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    The SMOV-strategy a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm

    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 Interlibrary loan Place Request


    Saved in:

Search Tools: