On termination of confluent one-rule string-rewriting systems (Q286976): Difference between revisions

@@ Property / author @@
-Kayoko Shikishima-Tsuji
@@ Property / author: Kayoko Shikishima-Tsuji / rank @@
-Normal rank
@@ Property / author @@
-Masashi Katsura
@@ Property / author: Masashi Katsura / rank @@
-Normal rank
@@ Property / author @@
-Yuji Kobayashi
@@ Property / author: Yuji Kobayashi / rank @@
-Normal rank
@@ Property / author @@
+Kayoko Shikishima-Tsuji
@@ Property / author: Kayoko Shikishima-Tsuji / rank @@
+Normal rank
@@ Property / author @@
+Masashi Katsura
@@ Property / author: Masashi Katsura / rank @@
+Normal rank
@@ Property / author @@
+Yuji Kobayashi
@@ Property / author: Yuji Kobayashi / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585368
@@ Property / zbMATH DE Number: 6585368 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+string-rewriting system
@@ Property / zbMATH Keywords: string-rewriting system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+confluent system
@@ Property / zbMATH Keywords: confluent system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidability
@@ Property / zbMATH Keywords: decidability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+termination problem
@@ Property / zbMATH Keywords: termination problem / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE WORD AND DIVISIBILITY PROBLEMS IN SEMIGROUPS WITH A SINGLE DEFINING RELATION
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation of Turing machines by a left-linear rewrite rule
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998014
@@ Property / cites work: Q3998014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803350
@@ Property / cites work: Q3803350 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for semi-Thue systems with a few rules
+Normal rank
@@ Property / cites work @@
+On the termination problem for one-rule semi-Thue system
+Normal rank
@@ Property / cites work @@
+Confluence of one-rule Thue systems
@@ Property / cites work: Confluence of one-rule Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+A complete characterization of termination of 0p 1q→1r 0s
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0020-0190(96)00200-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2036341595
@@ Property / OpenAlex ID: W2036341595 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:286976