The translation power of top-down tree-to-graph transducers (Q1337465): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled iteration grammars and full hyper-AFL's
+Normal rank
@@ Property / cites work @@
+Translations on a context free grammar
@@ Property / cites work: Translations on a context free grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Syntax Directed Translation, Tree Transducers, and Linear Space
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Attribute grammars and recursive program schemes. I. II
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of context-free rewriting and its application to NLC graph grammars
+Normal rank
@@ Property / cites work @@
+Q3785987
@@ Property / cites work: Q3785987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830540
@@ Property / cites work: Q3830540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+The string generating power of context-free hypergraph grammars
+Normal rank
@@ Property / cites work @@
+Context-free hypergraph grammars have the same term-generating power as attribute grammars
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+Surface tree languages and parallel derivation trees
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with regular look-ahead
@@ Property / cites work: Top-down tree transducers with regular look-ahead / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326871
@@ Property / cites work: Q3326871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711773
@@ Property / cites work: Q3711773 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of boundary graph grammars and context-free hypergraph grammars
+Normal rank
@@ Property / cites work @@
+Tree transducers, L systems, and two-way machines
@@ Property / cites work: Tree transducers, L systems, and two-way machines / rank @@
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+High level tree transducers and iterated pushdown tree transducers
+Normal rank
@@ Property / cites work @@
+Q3925893
@@ Property / cites work: Q3925893 / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with deterministic top-down look-ahead
+Normal rank
@@ Property / cites work @@
+TOL schemes and control sets
@@ Property / cites work: TOL schemes and control sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785988
@@ Property / cites work: Q3785988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774975
@@ Property / cites work: Q3774975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486869
@@ Property / cites work: Q3486869 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+A syntax directed compiler for ALGOL 60
@@ Property / cites work: A syntax directed compiler for ALGOL 60 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036775
@@ Property / cites work: Q4036775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670604
@@ Property / cites work: Q3670604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789084
@@ Property / cites work: Q3789084 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of graph languages generated by hyperedge replacement
+Normal rank
@@ Property / cites work @@
+Q3786030
@@ Property / cites work: Q3786030 / 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 sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-0000(05)80050-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1990098162
@@ Property / OpenAlex ID: W1990098162 / rank @@
+Normal rank