A divergence critic (Q5210759): 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 @@
+Q4264732
@@ Property / cites work: Q4264732 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit induction in conditional theories
@@ Property / cites work: Implicit induction in conditional theories / 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 @@
+Productive use of failure in inductive proof
@@ Property / cites work: Productive use of failure in inductive proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805889
@@ Property / cites work: Q3805889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264710
@@ Property / cites work: Q4264710 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving divergence in Knuth--Bendix completion by enriching signatures
+Normal rank
@@ Property / cites work @@
+Q4264708
@@ Property / cites work: Q4264708 / rank @@
+Normal rank