Equivalence checking of two functional programs using inductive theorem provers (Q2410575): 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 @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Inductive Proofs Using Theory Exploration
+Normal rank
@@ Property / cites work @@
+Q2723934
@@ Property / cites work: Q2723934 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Pattern Recognition and Lemma Discovery in ACL2
+Normal rank
@@ Property / cites work @@
+Automatic verification of functions with accumulating parameters
+Normal rank
@@ Property / cites work @@
+Conjecture synthesis for inductive theories
@@ Property / cites work: Conjecture synthesis for inductive theories / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Transforming Programs into Recursive Functions
@@ Property / cites work: Transforming Programs into Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank