Program equivalence and context-free grammars (Q1221492): Difference between revisions

@@ Property / cites work @@
+Decidable Properties of Monadic Functional Schemas
+Normal rank
@@ Property / cites work @@
+On Classes of Program Schemata
@@ Property / cites work: On Classes of Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680989
@@ Property / cites work: Q5680989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146243
@@ Property / cites work: Q4146243 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expressions and the equivalence of programs
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101426
@@ Property / cites work: Q4101426 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive methods for proving properties of programs
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Properties of deterministic top-down grammars
@@ Property / cites work: Properties of deterministic top-down grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Translating recursion equations into flow charts
@@ Property / cites work: Translating recursion equations into flow charts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4061934
@@ Property / cites work: Q4061934 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of flowchartable recursions
@@ Property / cites work: Characterization of flowchartable recursions / rank @@
+Normal rank
@@ Property / cites work @@
+Formal models for some features of programming languages
+Normal rank
@@ Property / cites work @@
+Q4130957
@@ Property / cites work: Q4130957 / rank @@
+Normal rank