Incorporating decision procedures in implicit induction. (Q1404422): Difference between revisions

@@ Property / cites work @@
+Q4518863
@@ Property / cites work: Q4518863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785507
@@ Property / cites work: Q4785507 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving by test set induction
@@ Property / cites work: Automated theorem proving by test set induction / 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 @@
+Q4377762
@@ Property / cites work: Q4377762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998976
@@ Property / cites work: Q3998976 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fourier's algorithm for linear arithmetic constraints
+Normal rank
@@ Property / cites work @@
+Q2754095
@@ Property / cites work: Q2754095 / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework to build contextual cover set induction provers
+Normal rank
@@ Property / cites work @@
+Q4248250
@@ Property / cites work: Q4248250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847001
@@ Property / cites work: Q4847001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696496
@@ Property / cites work: Q3696496 / rank @@
+Normal rank