Pushdown tree automata (Q3036724): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Nested Stack Automata
@@ Property / cites work: Nested Stack Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Une propri\'et\'e des forêts alg\'ebriques « de greibach \ra
+Normal rank
@@ Property / cites work @@
+Formal computations of non deterministic recursive program schemes
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+On jump-deterministic pushdown automata
@@ Property / cites work: On jump-deterministic pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+Extended macro grammars and stack controlled machines
+Normal rank
@@ Property / cites work @@
+DPDA's in 'Atomic normal form' and applications to equivalence problems
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3945602
@@ Property / cites work: Q3945602 / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank