Tree automata for rewrite strategies (Q2456572): Difference between revisions

@@ Property / cites work @@
+Equality and disequality constraints on direct subterms in tree automata
+Normal rank
@@ Property / cites work @@
+Q4508292
@@ Property / cites work: Q4508292 / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up tree pushdown automata and rewrite systems
+Normal rank
@@ Property / cites work @@
+Automata for reduction properties solving
@@ Property / cites work: Automata for reduction properties solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions in tree replacement systems
@@ Property / cites work: Reductions in tree replacement systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723425
@@ Property / cites work: Q2723425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035665
@@ Property / cites work: Q4035665 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear generalized semi-monadic rewrite systems effectively preserve recognizability
+Normal rank
@@ Property / cites work @@
+Q2771057
@@ Property / cites work: Q2771057 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of infinite sets of terms schematized by primal grammars
+Normal rank
@@ Property / cites work @@
+Decidable approximations of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q2778878
@@ Property / cites work: Q2778878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738232
@@ Property / cites work: Q4738232 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational tree relations
@@ Property / cites work: Rational tree relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938423
@@ Property / cites work: Q4938423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808743
@@ Property / cites work: Q4808743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843614
@@ Property / cites work: Q2843614 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic tree pushdown automata and monadic tree rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4808741
@@ Property / cites work: Q4808741 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723905
@@ Property / cites work: Q2723905 / rank @@
+Normal rank