Intercalation lemmas for tree transducer languages (Q1237574): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124817782
@@ Property / Wikidata QID: Q124817782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082312
@@ Property / cites work: Q4082312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular canonical systems
@@ Property / cites work: Regular canonical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Design of a separable transition-diagram compiler
@@ Property / cites work: Design of a separable transition-diagram compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4758141
@@ Property / cites work: Q4758141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772619
@@ Property / cites work: Q5772619 / rank @@
+Normal rank
@@ Property / cites work @@
+On derivation trees of indexed grammars - an extension of the uvwxy- theorem
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalization of Transition Diagram Systems
@@ Property / cites work: A Formalization of Transition Diagram Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Intercalation theorems for stack languages
@@ Property / cites work: Intercalation theorems for stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131026
@@ Property / cites work: Q4131026 / rank @@
+Normal rank
@@ Property / cites work @@
+Augmented transition networks and their relation to tree transducers
+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 @@
+Transition network grammars for natural language analysis
+Normal rank