The McCarthy's recursion induction principle: ''oldy'' but ''goody'' (Q594581): Difference between revisions

@@ Property / cites work @@
+Proving Theorems about LISP Functions
@@ Property / cites work: Proving Theorems about LISP Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q4192941
@@ Property / cites work: Q4192941 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and reasoning in program synthesis
@@ Property / cites work: Knowledge and reasoning in program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank