A calculus for and termination of rippling (Q1915137): Difference between revisions

@@ Property / cites work @@
+Termination orderings for rippling
@@ Property / cites work: Termination orderings for rippling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with proof plans for induction
@@ Property / cites work: Experiments with proof plans for induction / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Q3880307
@@ Property / cites work: Q3880307 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / 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 @@
+Q4264708
@@ Property / cites work: Q4264708 / rank @@
+Normal rank