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

@@ Property / author @@
+David A. Basin
@@ Property / author: David A. Basin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLAM
@@ Property / describes a project that uses: CLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+InKa
@@ Property / describes a project that uses: InKa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oyster
@@ Property / describes a project that uses: Oyster / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / cites work @@
+The OYSTER-CLAM system
@@ Property / cites work: The OYSTER-CLAM system / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions to the rippling-out tactic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Guiding induction proofs
@@ Property / cites work: Guiding induction proofs / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00244462
+Normal rank
@@ Property / OpenAlex ID @@
+W4232202664
@@ Property / OpenAlex ID: W4232202664 / rank @@
+Normal rank