Mechanizable inductive proofs for a class of ∀ ∃ formulas (Q5210766): Difference between revisions

@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190106
@@ Property / cites work: Q4190106 / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive and inductive synthesis of equational programs
+Normal rank
@@ Property / cites work @@
+Q3725540
@@ Property / cites work: Q3725540 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs by induction in equational theories with constructors
+Normal rank
@@ Property / cites work @@
+Automatic proofs by induction in theories without constructors
+Normal rank
@@ Property / cites work @@
+Q3783519
@@ Property / cites work: Q3783519 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805961
@@ Property / cites work: Q3805961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976041
@@ Property / cites work: Q3976041 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for the ground (co-)reducibility property in term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4712663
@@ Property / cites work: Q4712663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank