Attributed tree grammars (Q1311961): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed tree grammars
@@ Property / cites work: Attributed tree grammars / rank @@
+Normal rank
@@ Property / cites work @@
+An order-algebraic definition of knuthian semantics
+Normal rank
@@ Property / cites work @@
+Q3907115
@@ Property / cites work: Q3907115 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
+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 @@
+IO and OI. I
@@ Property / cites work: IO and OI. I / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. II
@@ Property / cites work: IO and OI. II / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4181302
@@ Property / cites work: Q4181302 / 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 @@
+Semantics of context-free languages: Correction
@@ Property / cites work: Semantics of context-free languages: Correction / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank