Bottom-up rewriting for words and terms (Q741256): Difference between revisions

@@ Property / cites work @@
+Q3786001
@@ Property / cites work: Q3786001 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of some extended word problems defined by cancellation rules
+Normal rank
@@ Property / cites work @@
+Monadic Thue systems
@@ Property / cites work: Monadic Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tree generating regular systems
@@ Property / cites work: Tree generating regular systems / rank @@
+Normal rank
@@ Property / cites work @@
+Finite derivation type implies the homological finiteness condition \(FP_ 3\)
+Normal rank
@@ Property / cites work @@
+Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
+Normal rank
@@ Property / cites work @@
+Decidable call-by-need computations in term rewriting
+Normal rank
@@ Property / cites work @@
+Bottom-Up Rewriting Is Inverse Recognizability Preserving
+Normal rank
@@ Property / cites work @@
+Bottom-up rewriting for words and terms
@@ Property / cites work: Bottom-up rewriting for words and terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389154
@@ Property / cites work: Q5389154 / 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 @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418639
@@ Property / cites work: Q4418639 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable approximations of term rewriting systems
+Normal rank
@@ Property / cites work @@
+On the rational subset problem for groups.
@@ Property / cites work: On the rational subset problem for groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934253
@@ Property / cites work: Q4934253 / rank @@
+Normal rank
@@ Property / cites work @@
+A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
+Normal rank
@@ Property / cites work @@
+RATIONAL SUBSETS IN HNN-EXTENSIONS AND AMALGAMATED PRODUCTS
+Normal rank
@@ Property / cites work @@
+Decidability for left-linear growing term rewriting systems.
+Normal rank
@@ Property / cites work @@
+Tree automata for rewrite strategies
@@ Property / cites work: Tree automata for rewrite strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808741
@@ Property / cites work: Q4808741 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934355
@@ Property / cites work: Q4934355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3559957
@@ Property / cites work: Q3559957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank