Inductive reasoning on recursive equations

摘要

We investigate several methods of inductive reasoning in the domain of recursive equations, including the method of generalization with beliefs, the method of successive refinement, and temporal methods based on comparisons with previously solved problems.