On prefixal one-rule string rewrite systems (Q2330116): Difference between revisions

@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355241
@@ Property / cites work: Q3355241 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Termination of Grid String Rewriting Rules
+Normal rank
@@ Property / cites work @@
+Q4447248
@@ Property / cites work: Q4447248 / rank @@
+Normal rank
@@ Property / cites work @@
+Match-bounded string rewriting systems
@@ Property / cites work: Match-bounded string rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for string rewriting systems via inverse match-bounds
+Normal rank
@@ Property / cites work @@
+Non-Looping String Rewriting
@@ Property / cites work: Non-Looping String Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Deleting string rewriting systems preserve regularity
+Normal rank
@@ Property / cites work @@
+A note on a special one-rule semi-Thue system
@@ Property / cites work: A note on a special one-rule semi-Thue system / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994922
@@ Property / cites work: Q3994922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998014
@@ Property / cites work: Q3998014 / rank @@
+Normal rank
@@ Property / cites work @@
+On Regularity-Preservation by String-Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q2893310
@@ Property / cites work: Q2893310 / rank @@
+Normal rank
@@ Property / cites work @@
+One-Rule Length-Preserving Rewrite Systems and Rational Transductions
+Normal rank
@@ Property / cites work @@
+A canonical automaton for one-rule length-preserving string rewrite systems
+Normal rank
@@ Property / cites work @@
+Semi-Thue systems with an inhibitor
@@ Property / cites work: Semi-Thue systems with an inhibitor / rank @@
+Normal rank
@@ Property / cites work @@
+Some decision problems about controlled rewriting systems
+Normal rank
@@ Property / cites work @@
+Iteration of rational transductions
@@ Property / cites work: Iteration of rational transductions / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of one-rule Thue systems
@@ Property / cites work: Confluence of one-rule Thue systems / rank @@
+Normal rank