Katsura, Masashi; Kobayashi, Yuji Undecidable properties of monoids with word problem solvable in linear time. (English) Zbl 1044.68078 Theor. Comput. Sci. 290, No. 3, 1301-1316 (2003). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Katsura} and \textit{Y. Kobayashi}, Theor. Comput. Sci. 290, No. 3, 1301--1316 (2003; Zbl 1044.68078) Full Text: DOI
Katsura, Masashi; Kobayashi, Yuji; Otto, Friedrich Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions. (English) Zbl 1053.68055 Theor. Comput. Sci. 301, No. 1-3, 79-101 (2003). MSC: 68Q42 68Q05 20M05 03D35 PDFBibTeX XMLCite \textit{M. Katsura} et al., Theor. Comput. Sci. 301, No. 1--3, 79--101 (2003; Zbl 1053.68055) Full Text: DOI
Kobayashi, Yuji; Katsura, Masashi Linear Markov properties and undecidability. (English) Zbl 0991.68533 RIMS Kokyuroku 1222, 98-104 (2001). MSC: 68Q42 03D40 PDFBibTeX XMLCite \textit{Y. Kobayashi} and \textit{M. Katsura}, RIMS Kokyuroku 1222, 98--104 (2001; Zbl 0991.68533)
Kobayashi, Y.; Katsura, M.; Shikishima-Tsuji, K. Termination and derivational complexity of confluent one-rule string-rewriting systems. (English) Zbl 0992.68120 Theor. Comput. Sci. 262, No. 1-2, 583-632 (2001). MSC: 68Q42 PDFBibTeX XMLCite \textit{Y. Kobayashi} et al., Theor. Comput. Sci. 262, No. 1--2, 583--632 (2001; Zbl 0992.68120) Full Text: DOI
Katsura, Masashi; Kobayashi, Yuji; Otto, Friedrich Undecidability results for monoids with linear-time decidable word problems. (English) Zbl 1044.03029 Lee, D. T. (ed.) et al., Algorithms and computation. 11th international conference, ISAAC 2000, Taipei, Taiwan, December 18–20, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41255-7). Lect. Notes Comput. Sci. 1969, 278-289 (2000). MSC: 03D35 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Katsura} et al., Lect. Notes Comput. Sci. 1969, 278--289 (2000; Zbl 1044.03029) Full Text: Link
Otto, Friedrich; Katsura, Masashi; Kobayashi, Yuji Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids. (English) Zbl 0920.68064 J. Symb. Comput. 26, No. 5, 621-648 (1998). MSC: 68Q42 PDFBibTeX XMLCite \textit{F. Otto} et al., J. Symb. Comput. 26, No. 5, 621--648 (1998; Zbl 0920.68064) Full Text: DOI
Otto, Friedrich; Katsura, Masashi; Kobayashi, Yuji Cross-sections for finitely presented monoids with decidable word problems. (English) Zbl 1379.68201 Comon, Hubert (ed.), Rewriting techniques and applications. 8th international conference, RTA ’97, Sitges, Spain, June 2–5, 1997. Proceedings. Berlin: Springer (ISBN 978-3-540-62950-4/pbk; 978-3-540-69051-1/ebook). Lecture Notes in Computer Science 1232, 53-67 (1997). MSC: 68Q42 20M05 20M35 PDFBibTeX XMLCite \textit{F. Otto} et al., Lect. Notes Comput. Sci. 1232, 53--67 (1997; Zbl 1379.68201) Full Text: DOI
Shikishima-Tsuji, Kayoko; Katsura, Masashi; Kobayashi, Yuji On termination of confluent one-rule string-rewriting systems. (English) Zbl 1336.68153 Inf. Process. Lett. 61, No. 2, 91-96 (1997). MSC: 68Q42 PDFBibTeX XMLCite \textit{K. Shikishima-Tsuji} et al., Inf. Process. Lett. 61, No. 2, 91--96 (1997; Zbl 1336.68153) Full Text: DOI
Katsura, Masashi; Kobayashi, Yuji Constructing finitely presented monoids which have no finite complete presentation. (English) Zbl 0876.20035 Semigroup Forum 54, No. 3, 292-302 (1997). Reviewer: T.J.Harju (Turku) MSC: 20M05 20M35 PDFBibTeX XMLCite \textit{M. Katsura} and \textit{Y. Kobayashi}, Semigroup Forum 54, No. 3, 292--302 (1997; Zbl 0876.20035) Full Text: DOI EuDML
Kobayashi, Yuji; Katura, Masashi Monoids with finite (regular) complete presentation. (English) Zbl 0941.68604 RIMS Kokyuroku 910, 40-43 (1995). MSC: 68Q42 20M05 PDFBibTeX XMLCite \textit{Y. Kobayashi} and \textit{M. Katura}, RIMS Kokyuroku 910, 40--43 (1995; Zbl 0941.68604)
Kobayashi, Yuji; Katsura, Masashi Lyndon traces and shuffle algebras. (English) Zbl 0818.20072 J. Pure Appl. Algebra 95, No. 1, 57-73 (1994). Reviewer: D.Krob (Paris) MSC: 20M05 20M35 68R15 13C10 68Q70 PDFBibTeX XMLCite \textit{Y. Kobayashi} and \textit{M. Katsura}, J. Pure Appl. Algebra 95, No. 1, 57--73 (1994; Zbl 0818.20072) Full Text: DOI
Katsura, Masashi; Kobayashi, Yuji The shuffle algebra and its derivations. (English) Zbl 0799.17004 Theor. Comput. Sci. 115, No. 2, 359-369 (1993). Reviewer: D.Krob (Paris) MSC: 17B01 17A50 PDFBibTeX XMLCite \textit{M. Katsura} and \textit{Y. Kobayashi}, Theor. Comput. Sci. 115, No. 2, 359--369 (1993; Zbl 0799.17004) Full Text: DOI
Saito, T.; Katsura, M.; Kobayashi, Y.; Kajitori, K. On totally ordered free monoids. (English) Zbl 0875.06008 Ito, Masami (ed.), Words, languages and combinatorics, Kyoto, Japan, August 28–31, 1990. Singapore: World Scientific. 454-479 (1992). MSC: 06F05 20M05 PDFBibTeX XMLCite \textit{T. Saito} et al., in: Words, languages and combinatorics, Kyoto, Japan, August 28--31, 1990. Singapore: World Scientific. 454--479 (1992; Zbl 0875.06008)