The following pages link to Structural induction:
Displayed 12 items.
- Induction (← links | edit)
- Mathematical induction (← links | edit)
- Recursion (← links | edit)
- Sprague–Grundy theorem (← links | edit)
- Structural recursion (redirect page) (← links | edit)
- Well-founded relation (← links | edit)
- Intuitionistic type theory (← links | edit)
- List of mathematical logic topics (← links | edit)
- Program synthesis (← links | edit)
- Loop invariant (← links | edit)
- Recursive definition (← links | edit)
- Structured program theorem (← links | edit)