Program transformations and algebraic semantics (Q1254849): Difference between revisions

@@ Property / cites work @@
+Q4068115
@@ Property / cites work: Q4068115 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898006
@@ Property / cites work: Q3898006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+On some classes of interpretations
@@ Property / cites work: On some classes of interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Computation Rules for Recursive Languages
@@ Property / cites work: Correct Computation Rules for Recursive Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on avoiding ``go to'' statements
@@ Property / cites work: Notes on avoiding ``go to'' statements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139645
@@ Property / cites work: Q4139645 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190098
@@ Property / cites work: Q4190098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139646
@@ Property / cites work: Q4139646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517672
@@ Property / cites work: Q5517672 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138713
@@ Property / cites work: Q4138713 / rank @@
+Normal rank
@@ Property / cites work @@
+Another recursion induction principle
@@ Property / cites work: Another recursion induction principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / 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 @@
+Q4092932
@@ Property / cites work: Q4092932 / rank @@
+Normal rank