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

@@ Property / describes a project that uses @@
+NQTHM
@@ Property / describes a project that uses: NQTHM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(79)90035-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2009923373
@@ Property / OpenAlex ID: W2009923373 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q128039954
@@ Property / Wikidata QID: Q128039954 / rank @@
+Normal rank