Productive use of failure in inductive proof (Q1915134): Difference between revisions

@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit induction in conditional theories
@@ Property / cites work: Implicit induction in conditional theories / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264732
@@ Property / cites work: Q4264732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A colored version of the λ-calculus
@@ Property / cites work: A colored version of the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3690194
@@ Property / cites work: Q3690194 / rank @@
+Normal rank
@@ Property / cites work @@
+A divergence critic
@@ Property / cites work: A divergence critic / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00244460
+Normal rank
@@ Property / OpenAlex ID @@
+W2067540169
@@ Property / OpenAlex ID: W2067540169 / rank @@
+Normal rank