CS390 - Methods_of_proof - structural_induction - Old Dominion University Monarch Mediaspace

views comments

Review of proof by structural induction - a variant of induction applied to structured data/information.