Proving theorems by reuse (Q1978233): Difference between revisions

@@ Property / cites work @@
+Q4255510
@@ Property / cites work: Q4255510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835049
@@ Property / cites work: Q3835049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817655
@@ Property / cites work: Q3817655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Semantic generalizations for proving and disproving conjectures by analogy
+Normal rank
@@ Property / cites work @@
+Partial matching for analogy discovery in proofs and counter-examples
+Normal rank
@@ Property / cites work @@
+Learning domain knowledge to improve theorem proving
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787520
@@ Property / cites work: Q3787520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments in the heuristic use of past proof experience
+Normal rank
@@ Property / cites work @@
+A theory of abstraction
@@ Property / cites work: A theory of abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Learning by understanding analogies
@@ Property / cites work: Learning by understanding analogies / rank @@
+Normal rank
@@ Property / cites work @@
+Computational approaches to analogical reasoning: A comparative analysis
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+Coloring terms to control equational reasoning
@@ Property / cites work: Coloring terms to control equational reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+INKA: The next generation
@@ Property / cites work: INKA: The next generation / rank @@
+Normal rank
@@ Property / cites work @@
+Productive use of failure in inductive proof
@@ Property / cites work: Productive use of failure in inductive proof / rank @@
+Normal rank
@@ Property / cites work @@
+Lemma discovery in automating induction
@@ Property / cites work: Lemma discovery in automating induction / rank @@
+Normal rank
@@ Property / cites work @@
+A paradigm for reasoning by analogy
@@ Property / cites work: A paradigm for reasoning by analogy / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically generating abstractions for planning
+Normal rank
@@ Property / cites work @@
+Plagiator — A learning prover
@@ Property / cites work: Plagiator — A learning prover / rank @@
+Normal rank
@@ Property / cites work @@
+Proving theorems by reuse
@@ Property / cites work: Proving theorems by reuse / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524774
@@ Property / cites work: Q4524774 / rank @@
+Normal rank
@@ Property / cites work @@
+On terminating lemma speculations.
@@ Property / cites work: On terminating lemma speculations. / rank @@
+Normal rank
@@ Property / cites work @@
+Analogy in inductive theorem proving
@@ Property / cites work: Analogy in inductive theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002491
@@ Property / cites work: Q4002491 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy generation of induction hypotheses
@@ Property / cites work: Lazy generation of induction hypotheses / rank @@
+Normal rank
@@ Property / cites work @@
+Reuse of proofs in software verification
@@ Property / cites work: Reuse of proofs in software verification / rank @@
+Normal rank
@@ Property / cites work @@
+Explanation-based generalisation \(=\) partial evaluation
+Normal rank
@@ Property / cites work @@
+Q3992821
@@ Property / cites work: Q3992821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255517
@@ Property / cites work: Q4255517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+On proving the termination of algorithms by machine
+Normal rank