Mechanizing structural induction. II: Strategies (Q1134541): Difference between revisions

@@ Property / cites work @@
+Mechanizing structural induction. II: Strategies
@@ Property / cites work: Mechanizing structural induction. II: Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing structural induction. I: Formal system
+Normal rank
@@ Property / cites work @@
+Proving Theorems about LISP Functions
@@ Property / cites work: Proving Theorems about LISP Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Q4125718
@@ Property / cites work: Q4125718 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive data structures
@@ Property / cites work: Recursive data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674962
@@ Property / cites work: Q5674962 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical proof of the termination of Takeuchi's function
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank