Recognition of directed acyclic graphs by spanning tree automata (Q1959657): Difference between revisions

@@ Property / cites work @@
+Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata
+Normal rank
@@ Property / cites work @@
+Closure properties and decision problems of dag automata
+Normal rank
@@ Property / cites work @@
+The complexity of tree automata and XPath on grammar-compressed trees
+Normal rank
@@ Property / cites work @@
+Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar
+Normal rank
@@ Property / cites work @@
+Linear-time computability of combinatorial problems on series-parallel graphs
+Normal rank
@@ Property / cites work @@
+Combinatorial algorithms on a class of graphs
@@ Property / cites work: Combinatorial algorithms on a class of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A partial k-arboretum of graphs with bounded treewidth
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank