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

@@ 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