Context-free hypergraph grammars have the same term-generating power as attribute grammars (Q1199703): Difference between revisions

@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic evaluation from left to right
@@ Property / cites work: Semantic evaluation from left to right / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736348
@@ Property / cites work: Q2736348 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of context-free rewriting and its application to NLC graph grammars
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
+Normal rank
@@ Property / cites work @@
+Attribute grammars and recursive program schemes. I. II
+Normal rank
@@ Property / cites work @@
+Attribute grammars. Definitions, systems and bibliography
+Normal rank
@@ Property / cites work @@
+Relating logic programs and attribute grammars
@@ Property / cites work: Relating logic programs and attribute grammars / rank @@
+Normal rank
@@ Property / cites work @@
+IO-macrolanguages and attributed translations
@@ Property / cites work: IO-macrolanguages and attributed translations / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
+Normal rank
@@ Property / cites work @@
+The Complexity of Languages Generated by Attribute Grammars
+Normal rank
@@ Property / cites work @@
+The formal power of one-visit attribute grammars
@@ Property / cites work: The formal power of one-visit attribute grammars / rank @@
+Normal rank
@@ Property / cites work @@
+The string generating power of context-free hypergraph grammars
+Normal rank
@@ Property / cites work @@
+Q4037317
@@ Property / cites work: Q4037317 / rank @@
+Normal rank
@@ Property / cites work @@
+Apex graph grammars and attribute grammars
@@ Property / cites work: Apex graph grammars and attribute grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of boundary graph grammars and context-free hypergraph grammars
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+The translation power of top-down tree-to-graph transducers
+Normal rank
@@ Property / cites work @@
+Plex languages
@@ Property / cites work: Plex languages / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation and reduction of attribute grammars
+Normal rank
@@ Property / cites work @@
+Q3925893
@@ Property / cites work: Q3925893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3048294
@@ Property / cites work: Q3048294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774975
@@ Property / cites work: Q3774975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785988
@@ Property / cites work: Q3785988 / 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 @@
+Q3789084
@@ Property / cites work: Q3789084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340111
@@ Property / cites work: Q3340111 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Pair grammars, graph languages and string-to-graph translations
+Normal rank