Zum Inhalt springen

  1. Madlener, Klaus [VerfasserIn] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]

    Commutativity in groups presented by finite Church-Rosser Thue systems

    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., 1986

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

  3. 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

  12. Boone, William W.

    Finitely Presented Group Whose Word Problem Has the Same Degree as that of an Arbitrarily Given Thue System (an Application of Methods of Britton)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    National Academy of Sciences of the United States of America, 1965

    Erschienen in: Proceedings of the National Academy of Sciences of the United States of America

  13. Narendran, Paliath; Otto, Friedrich

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free

    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, 1989

    Erschienen in: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

  14. Shepherdson, J. C.

    A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva v konéčno oprédélénnyh gruppah. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 805–808. - A. A. Fridman. Degrees of insolvability of the word problem in finitely defined groups. English translation of the preceding by Sue Ann Walker. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1733–1737. - C. R. J. Clapham. Finitely presented groups with word problems of arbitrary degrees of insolubility. Proceedings of the London Mathematical Society, ser. 3 vol. 14 (1964), pp. 633–676. - William W. Boone. Finitely presented group whose word problem has the same degree as that of an arbitrarily given Thue system (an application of methods of Britton). Proceedings of the National Academy of Sciences, vol. 53 (1965), pp. 265–269. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 520–571. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Annals of mathematics, ser. 2 vol. 84 (1966), pp. 49–84

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 1968

    Erschienen in: Journal of Symbolic Logic