Zum Inhalt springen

  1. Narendran, Paliath [VerfasserIn] ; 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