Dependency Tree Automata (Q3617723): Difference between revisions

@@ Property / cites work @@
+Adding Nesting Structure to Words
@@ Property / cites work: Adding Nesting Structure to Words / rank @@
+Normal rank
@@ Property / cites work @@
+Languages of Nested Trees
@@ Property / cites work: Languages of Nested Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218930
@@ Property / cites work: Q4218930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3149663
@@ Property / cites work: Q3149663 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of fourth-order matching
@@ Property / cites work: Decidability of fourth-order matching / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+Completeness, invariance and <i>λ</i>-definability
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Game-Theoretic Approach to Deciding Higher-Order Matching
+Normal rank
@@ Property / cites work @@
+Q3431410
@@ Property / cites work: Q3431410 / rank @@
+Normal rank