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
@@ links / mardi / name / links / mardi / name @@
+Publication:286976