Zum Inhalt springen

  3. Sattler-Klein, Andrea [VerfasserIn]

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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

    Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 18500

  6. Otto, Friedrich [VerfasserIn]; Sattler-Klein, Andrea [VerfasserIn]

    Some remarks on finitely presented monoids with automatic structure

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1997

  7. Klein, Benedikt Paul [VerfasserIn]; Ruppenthal, Lukas [VerfasserIn]; Hall, Samuel J. [VerfasserIn]; Sattler, Lars Erik [VerfasserIn]; Weber, Sebastian M. [VerfasserIn]; Herritsch, Jan [VerfasserIn]; Jaegermann, Andrea [VerfasserIn]; Maurer, Reinhard J. [VerfasserIn]; Hilt, Gerhard [VerfasserIn]; Gottfried, J. Michael [VerfasserIn]

    Topology effects in molecular organic electronic materials : pyrene and azupyrene

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: ChemPhysChem ; 22(2021), 11, Seite 1065-1073

  14. Otto, Friedrich; Sattler-Klein, Andrea; Madlener, Klaus

    Rewriting Techniques and Applications: Automatic monoids versus monoids with finite convergent presentations

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1998

    Erschienen in: Rewriting Techniques and Applications

  16. Madlener, Klaus; Otto, Friedrich; Sattler-Klein, Andrea

    Algorithms and Computation: Generating small convergent systems can be extremely hard : Extended abstract : Extended abstract

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1992

    Erschienen in: Algorithms and Computation