Zum Inhalt springen

  1. Narendran, Paliath [Verfasser:in] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]

    It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free

    Bücher
    Schließen

    Merkliste

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

    Kaiserslautern: Fachbereich Informatik, Univ., 1987

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

  2. Otto, Friedrich [Verfasser:in] ; Wrathall, Celia [Sonstige Person, Familie und Körperschaft]

    Characterizations of overlaps in free partially commutative monoids

    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 ; 18400