A divergence critic (Q5210759): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1500350508
@@ Property / OpenAlex ID: W1500350508 / rank @@
+Normal rank
@@ 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