Equational tree transformations (Q551198): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2011.03.028
@@ Property / DOI: 10.1016/j.tcs.2011.03.028 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5920444
@@ Property / zbMATH DE Number: 5920444 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equational semantics
@@ Property / zbMATH Keywords: equational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recognizable tree languages
@@ Property / zbMATH Keywords: recognizable tree languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+IO- and OI-tree substitutions
@@ Property / zbMATH Keywords: IO- and OI-tree substitutions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tree transformations
@@ Property / zbMATH Keywords: tree transformations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bimorphisms
@@ Property / zbMATH Keywords: bimorphisms / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.03.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2016461613
@@ Property / OpenAlex ID: W2016461613 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization of LR(k) parsers
@@ Property / cites work: Optimization of LR(k) parsers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138171
@@ Property / cites work: Q4138171 / rank @@
+Normal rank
@@ Property / cites work @@
+Morphismes et bimorphismes d'arbres
@@ Property / cites work: Morphismes et bimorphismes d'arbres / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable formal power series on trees
@@ Property / cites work: Recognizable formal power series on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Alphabetic tree relations
@@ Property / cites work: Alphabetic tree relations / rank @@
+Normal rank
@@ Property / cites work @@
+Equational elements in additive algebras
@@ Property / cites work: Equational elements in additive algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431477
@@ Property / cites work: Q3431477 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
+Normal rank
@@ Property / cites work @@
+Basic notions of universal algebra for language theory and graph grammars
+Normal rank
@@ Property / cites work @@
+Q4273671
@@ Property / cites work: Q4273671 / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+IO and OI. I
@@ Property / cites work: IO and OI. I / rank @@
+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 @@
+Derivation trees of ground term rewriting systems.
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositions of extended top-down tree transducers
+Normal rank
@@ Property / cites work @@
+The Power of Extended Top-Down Tree Transducers
@@ Property / cites work: The Power of Extended Top-Down Tree Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms — Revisited
+Normal rank
@@ Property / cites work @@
+PROPERTIES OF QUASI-RELABELING TREE BIMORPHISMS
@@ Property / cites work: PROPERTIES OF QUASI-RELABELING TREE BIMORPHISMS / 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 @@
+Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms
+Normal rank
@@ Property / cites work @@
+Defining syntax-directed translations by tree bimorphisms
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2011.03.028
@@ Property / DOI: 10.1016/J.TCS.2011.03.028 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:551198